An Omitting Types Theorem for Sheaves over Topological Spaces. - Andreas Bernhard Michael Brunner; Francisco Miraglia (Log. J. IGPL, 2004)

Anti-intuitionism and paraconsistency. - Andreas Bernhard Michael Brunner; Walter Alexandre Carnielli (J. Appl. Log., 2005)

Minimally Generated Abstract Logics. - Steffen Lewitzka; Andreas Bernhard Michael Brunner (Logica Universalis, 2009)

Topological Representation of Intuitionistic and Distributive Abstract Logics. - Andreas Bernhard Michael Brunner; Steffen Lewitzka (Logica Universalis, 2017)