Modality and contextuality in topos quantum theory

DOI10.1007/S11225-016-9668-XMaRDI QIDQ514503zbMATHOpenAlexFDO

Authors 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) Paraconsistent logics (03B53) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• A topos theoretic framework for paraconsistent quantum theory
• CONCEPTUAL FOUNDATIONS OF QUANTUM MECHANICS: THE ROLE OF EVIDENCE THEORY, QUANTUM SETS, AND MODAL LOGIC
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• A topos for algebraic quantum theory
• Physical properties as modal operators in the topos approach to quantum mechanics

Cites work

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

Cited in

(9)

• CONCEPTUAL FOUNDATIONS OF QUANTUM MECHANICS: THE ROLE OF EVIDENCE THEORY, QUANTUM SETS, AND MODAL LOGIC
• A topos theoretic framework for paraconsistent quantum theory
• A BRIDGE BETWEEN Q-WORLDS
• Physical properties as modal operators in the topos approach to quantum mechanics
• Contextuality, Cohomology and Paradox
• The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
• Mixing categories and modal logics in the quantum setting
• A topological study of contextuality and modality in quantum mechanics
• Towards a paraconsistent quantum set theory

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

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