Weakly intuitionistic quantum logic

DOI10.1007/s11225-012-9401-3zbMath1308.03062arXiv1009.2438OpenAlexW2031281328MaRDI QIDQ383556

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

quantum logicHeyting algebraintuitionistic logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• 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]
• The logic of quantum mechanics
• Quantum Logic, Realism, and Value Definiteness
• Bounded distributive lattices with strict implication
• Injective Hulls of Semilattices

This page was built for publication: Weakly intuitionistic quantum logic