Topos-theoretic extension of a modal interpretation of quantum mechanics

DOI10.1007/s10773-008-9649-6zbMath1176.81008arXiv0711.2200MaRDI QIDQ1008115

Kunji Nakayama

Publication date: 24 March 2009

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

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

zbMATH Keywords

quantum logic; Heyting algebra; topos; presheaf; modal interpretation; sheaf

Mathematics Subject Classification ID

18B25: Topoi

06C15: Complemented lattices, orthocomplemented lattices and posets

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

03G12: Quantum logic

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

81P13: Contextuality in quantum theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• A Philosopher's Understanding of Quantum Mechanics
• A topos perspective on state-vector reduction