Three roads to complete lattices: orders, compatibility, polarity

DOI10.1007/S00012-021-00711-YMaRDI QIDQ2663187zbMATH OpenOpenAlexFDO

Authors 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 algebraclosure operatorcomplete latticedoubly ordered structureHeyting algebraortholatticepolarityproximity

Mathematics Subject Classification ID

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

Review text

In this paper, the author clarifies the relations between three ways of constructing complete lattices that appear in three different areas: (1) using ordered structures, as in set-theoretic forcing, or doubly ordered structures, as in a recent semantics for intuitionistic logic; (2) using compatibility relations, as in semantics for quantum logic based on ortholattices; (3) using Birkhoff's polarities, as in formal concept analysis.

Recommendations

• Orders and lattices. Basics, approaches and applications
• scientific article; zbMATH DE number 1164016
• Polarity in a Completely Distributive Complete Lattice
• A new view of relationship between atomic posets and complete (algebraic) lattices
• Completely lattice \(L\)-ordered sets with and without \(L\)-equality

Cites work

• A Kripke semantics for the logic of Gelfand quantales
• A semantic hierarchy for intuitionistic logic
• A topological representation theory for lattices
• Der Aussagenkalkül und die Topologie
• Handbook of philosophical logic. Vol. 3.
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3411031 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• Introduction to Boolean Algebras
• Locales, nuclei, and Dragalin frames
• Modal operators on Heyting algebras
• Propositional lax logic
• Semantic analysis of orthologic
• Semantics of the minimal logic of quantum mechanics

Cited in

(2)

• B-frame duality
• A model theory of topology

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663187)