Abstract.
Relational semantics for nonclassical logics lead straightforwardly to topological representation theorems of their algebras. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. We define three new classes of topological spaces so that the lattice categories and the corresponding categories of topological spaces turn out to be dually isomorphic. A key feature of all these topological spaces is that they are ordered relational or ordered product topologies.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bimbó, K. Functorial Duality for Ortholattices and De Morgan Lattices. Log. univers. 1, 311–333 (2007). https://doi.org/10.1007/s11787-007-0016-9
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11787-007-0016-9