Andreas Bernhard Michael Brunner

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Topics

Topological Information

Expressive Power

Top Venues

Logica Universalis

Publications

Andreas Bernhard Michael Brunner, Steffen Lewitzka
Topological Representation of Intuitionistic and Distributive Abstract Logics. Logica Universalis 11 (2) (2017)
Andreas Bernhard Michael Brunner, Steffen Lewitzka
Topological representation of intuitionistic and distributive abstract logics. CoRR (2015)
Steffen Lewitzka, Andreas Bernhard Michael Brunner
Minimally Generated Abstract Logics. Logica Universalis 3 (2) (2009)
Andreas Bernhard Michael Brunner, Walter Alexandre Carnielli
Anti-intuitionism and paraconsistency. J. Appl. Log. 3 (1) (2005)
Andreas Bernhard Michael Brunner, Francisco Miraglia
An Omitting Types Theorem for Sheaves over Topological Spaces. Log. J. IGPL 12 (6) (2004)