Functorial duality for ortholattices and De Morgan lattices
From MaRDI portal
Publication:2470761
DOI10.1007/S11787-007-0016-9zbMath1132.03034OpenAlexW2029827212MaRDI QIDQ2470761
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
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