Functorial duality for ortholattices and De Morgan lattices

DOI10.1007/S11787-007-0016-9zbMath1132.03034OpenAlexW2029827212MaRDI QIDQ2470761

Katalin Bimbó

Publication date: 15 February 2008

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-007-0016-9

zbMATH Keywords

category theoryortholatticesDe Morgan latticestopological duality theory

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Topological representations of algebraic systems (54H10)

Related Items (5)

Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ Topological duality for orthomodular lattices ⋮ Positive modal logic beyond distributivity ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ St. Alasdair on Lattices Everywhere

This page was built for publication: Functorial duality for ortholattices and De Morgan lattices