Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Brunner, Andreas B. M."'
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in
Externí odkaz:
http://arxiv.org/abs/1508.04428
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 some categories of abstract logics to the correspondent topological sp
Externí odkaz:
http://arxiv.org/abs/1408.3604
Autor:
Brunner, Andreas B. M.1 andreas@dcc.ufba.br, Mariano, Hugo L.2 hugomar@ime.usp.br, Da Silva, Samuel G.1 samuel@ufba.br
Publikováno v:
Logic Journal of the IGPL. Aug2017, Vol. 25 Issue 4, p408-430. 23p.
Autor:
Brunner, Andreas B. M.1 andreas@im.ufba.br, Miraglia, Francisco2 miraglia@ime.usp.br
Publikováno v:
Logic Journal of the IGPL. Nov2004, Vol. 12 Issue 6, p525-548. 24p.