Modal-type orthomodular logic

DOI10.1002/malq.200710088zbMath1172.03033arXiv0807.1278OpenAlexW3036402355MaRDI QIDQ3632528

Hector Freytes, Christian de Ronde, Graciela Domenech

Publication date: 11 June 2009

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

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

zbMATH Keywords

completenesscompactnessorthomodular latticededuction theoremKripke-style semanticsBaer*-semigroupBoolean saturated orthomodular latticemodal orthomodular logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complemented lattices, orthocomplemented lattices and posets (06C15) Ordered semigroups and monoids (06F05) Quantum logic (03G12)

Related Items (6)

Semilattices global valuations in the topos approach to quantum mechanics ⋮ Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ The Square of Opposition in Orthomodular Logic ⋮ Modality, Potentiality, and Contradiction in Quantum Mechanics ⋮ Physical properties as modal operators in the topos approach to quantum mechanics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantum mechanics: an intelligible description of objective reality?
• Material implications in orthomodular (and Boolean) lattices
• Quantum logic and physical modalities
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• A topological study of contextuality and modality in quantum mechanics
• Quantifiers and orthomodular lattices
• The logic of quantum mechanics
• Kripke-style Semantics of Orthomodular Logics
• Scopes and limits of modality in quantum mechanics
• Orthomodularity is not elementary
• Modal propositional logic on an orthomodular basis. I
• Imbedding of the quantum logic in the modal system of Brower
• Lattices With Involution

This page was built for publication: Modal-type orthomodular logic