Weakly intuitionistic quantum logic

DOI10.1007/S11225-012-9401-3MaRDI QIDQ383556zbMATH OpenOpenAlexFDO

Authors Ronnie Hermens

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

intuitionistic logicquantum logicHeyting algebra

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: In this paper we motivate and study the possibility of an intuitionistic quantum logic. An explicit investigation of the application of the theory of Bruns and Lakser on distributive hulls on traditional quantum logic (as suggested in [Coe]) leads us to a small modification of this scheme. In this way we obtain a weak Heyting algebra (cf. [CJ]) for describing the language of quantum mechanics.

Recommendations

• Markov property in quantum logic: A reflection
• The logic of quantum mechanics (Revisited)
• scientific article; zbMATH DE number 975286
• Quantum mechanics and the local observer
• Algebras of measurements: the logical structure of quantum mechanics

Cites work

• scientific article; zbMATH DE number 3668602 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• Bounded distributive lattices with strict implication
• Injective Hulls of Semilattices
• Quantum logic in intuitionistic perspective
• Quantum logic, realism, and value definiteness
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
• The logic of quantum mechanics

Cited in

(4)

• Logics and quantum gravity
• Quantum weakest preconditions
• Intuitionistic quantum logic of an \(n\)-level system
• Markov property in quantum logic: A reflection

This page was built for publication: Weakly intuitionistic quantum logic

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