Topological duality for orthomodular lattices

DOI10.1002/MALQ.202200044MaRDI QIDQ6096727zbMATH OpenOpenAlexFDO

Authors Joseph McDonald, Katalin Bimbó

Publication date 15 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2208.07430

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimb'o's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak p-morphisms. It is well-known that orthomodular lattices provide an algebraic semantics for the quantum logic Q. Hence, as an application of our duality, we develop a topological semantics for Q using orthomodular spaces and prove soundness and completeness.

Recommendations

• Topological and order-topological orthomodular lattices
• scientific article; zbMATH DE number 3889597
• An intrinsic topology for orthomodular lattices
• scientific article; zbMATH DE number 19620
• Order-topological complete orthomodular lattices
• Publication:4728835
• A topological duality for some lattice ordered algebraic structures including -groups
• Functorial duality for ortholattices and De Morgan lattices
• A generalisation of Stone duality to orthomodular lattices
• A topological duality for \(M_3\)-lattices

Cites work

• A generalisation of Stone duality to orthomodular lattices
• A representation theory for orthomodular lattices by means of closure spaces
• An introduction to Hilbert space and quantum logic
• Boolean Algebras with Operators. Part I
• Choice-free duality for orthocomplemented lattices by means of spectral spaces
• Dual gaggle semantics for entailment
• First-order frames for orthomodular quantum logic
• Functorial duality for ortholattices and De Morgan lattices
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• scientific article; zbMATH DE number 3889597 (Why is no real title available?)
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Modal logic
• Orthomodularity is not elementary
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semantic analysis of orthologic
• St. Alasdair on Lattices Everywhere
• The logic of quantum mechanics
• The Stone Space of an Ortholattice

Cited in

(1)

• Topological duality and lattice expansions. I: A topological construction of canonical extensions.

This page was built for publication: Topological duality for orthomodular lattices

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