2014/08/15 by Andreas B. M. Brunner, Brunner, Andreas B. M., Darllan Conceição Pinto +1
Computer Science · #06D50 #06F30 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1408.3604
openalex publication_date 2014/08/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.