Modality and contextuality in topos quantum theory

DOI10.1007/s11225-016-9668-xzbMath1477.03257OpenAlexW2348160877MaRDI QIDQ514503

Benjamin Eva

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9668-x

zbMATH Keywords

modal logicquantum logictopos theorytopos quantum theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Paraconsistent logics (03B53)

Related Items (1)

The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations

Cites Work

• A topos for algebraic quantum theory
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Bi-Heyting algebras, toposes and modalities
• A first course in topos quantum theory
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Topos-based logic for quantum systems and bi-Heyting algebras
• Modal propositional logic on an orthomodular basis. I

This page was built for publication: Modality and contextuality in topos quantum theory