Functorial duality for ortholattices and De Morgan lattices (Q2470761)

The modeling of nonclassical logics can be fruitfully mediated by an algebraization step, when not only algebraic models but models constructed from sets are sought. Then, comparing structures that are suitable for various logics can be carried out similarly using topological spaces that are related to the logics by duality theorems. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. In this paper, first of all, the author proves the duality between the category of ortholattices and the category of orthospaces. Then, she considers De Morgan lattices. De Morgan lattices are reducts of the algebras of all major relevance logics with a rich set of connectives (except linear logic and its precursors). Relevance logics were some of the first nonclassical logics (save for normal modal logics and intuitionistic logic) that were equipped with relational semantics. Accordingly, there is a way (we may even say, standard way) how the negation of a De Morgan lattice is modeled in these semantics. The author defines three new classes of topological spaces (the De Morgan gaggle spaces, the involution spaces and the \(\Pi\)-spaces) and proves that all these categories are dual to the category of De Morgan lattices. A consequence of the duality theorems is that the three classes of topological spaces from above are isomorphic as categories. The varieties of ortholattices and De Morgan lattices are incomparable in the sense that there is no inclusion relation between them. It may be interesting though to note the similarity between orthospaces and gaggle spaces: negation is defined from a binary relation in both, which leads to similar conditions on their frame morphisms. A difference is, however, that an ortholattices emerges on the set of stable sets (each of which is upward closed), whereas a De Morgan lattice is defined on clopen upsets.