Modal-type orthomodular logic

DOI10.1002/MALQ.200710088MaRDI QIDQ3632528zbMATH OpenOpenAlexFDO

Authors H. Freytes, G. Domenech, C. De Ronde

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

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

Mathematics Subject Classification ID

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

Abstract: In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups as in [20].

Recommendations

• Kripke-style semantics of orthomodular logics
• Variety of orthomodular posets.
• scientific article; zbMATH DE number 1377711
• On when a semantics is not a good semantics: the algebraisation of orthomodular logic
• Advanced Kripke frame for quantum logic

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 2042611 (Why is no real title available?)
• scientific article; zbMATH DE number 1512853 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• A topological study of contextuality and modality in quantum mechanics
• Imbedding of the quantum logic in the modal system of Brower
• Kripke-style semantics of orthomodular logics
• Lattices With Involution
• Material implications in orthomodular (and Boolean) lattices
• Modal propositional logic on an orthomodular basis. I
• Orthomodularity is not elementary
• Quantifiers and orthomodular lattices
• Quantum logic and physical modalities
• Quantum mechanics: an intelligible description of objective reality?
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Scopes and limits of modality in quantum mechanics
• The logic of quantum mechanics

Cited in

(9)

• The square of opposition in orthomodular logic
• Physical properties as modal operators in the topos approach to quantum mechanics
• scientific article; zbMATH DE number 6215727 (Why is no real title available?)
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• Kripke-style semantics of orthomodular logics
• The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
• Modal multilattice logic
• Semilattices global valuations in the topos approach to quantum mechanics
• Modality, potentiality, and contradiction in quantum mechanics

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

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