Three roads to complete lattices: orders, compatibility, polarity

DOI10.1007/s00012-021-00711-yzbMath1486.06004OpenAlexW3122884908MaRDI QIDQ2663187

Wesley H. Holliday

Publication date: 16 April 2021

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

Full work available at URL: https://escholarship.org/uc/item/4w2083v3

zbMATH Keywords

Boolean algebracomplete latticeclosure operatorproximityHeyting algebrapolarityortholatticedoubly ordered structure

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Logical aspects of Boolean algebras (03G05)

Related Items (1)

B-frame duality

Cites Work

• Modal operators on Heyting algebras
• A topological representation theory for lattices
• Propositional lax logic
• Semantic analysis of orthologic
• A semantic hierarchy for intuitionistic logic
• Semantics of the minimal logic of quantum mechanics
• Introduction to Boolean Algebras
• Der Aussagenkalkül und die Topologie
• A Kripke semantics for the logic of Gelfand quantales
• Handbook of philosophical logic. Vol. 3.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Three roads to complete lattices: orders, compatibility, polarity