Weakly intuitionistic quantum logic
From MaRDI portal
Publication:383556
DOI10.1007/S11225-012-9401-3zbMATH Open1308.03062arXiv1009.2438OpenAlexW2031281328MaRDI QIDQ383556FDOQ383556
Authors: Ronnie Hermens 
Publication date: 5 December 2013
Published in: Studia Logica (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1009.2438
Recommendations
Subsystems of classical logic (including intuitionistic logic) (03B20) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- The logic of quantum mechanics
- Title not available (Why is that?)
- Injective Hulls of Semilattices
- Quantum logic in intuitionistic perspective
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
- Quantum logic, realism, and value definiteness
- Title not available (Why is that?)
- Bounded distributive lattices with strict implication
Cited In (4)
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)
