1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 1 cited
Topological representation of intuitionistic and distributive abstract logics
Andreas B. M. Brunner, Steffen Lewitzka
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionis…
math.LO2014
Distributive abstract logics and the Esakia duality
Andreas B. M. Brunner, Darllan Conceição Pinto
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between…