Physical properties as modal operators in the topos approach to quantum mechanics
DOI10.1007/s10701-014-9842-9zbMath1314.81022arXiv1412.6809OpenAlexW1992447109MaRDI QIDQ2342695
Christian de Ronde, Hector Freytes, Graciela Domenech
Publication date: 29 April 2015
Published in: Foundations of Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.6809
General and philosophical questions in quantum theory (81P05) Modal logic (including the logic of norms) (03B45) Phase-space methods including Wigner distributions, etc. applied to problems in quantum mechanics (81S30) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The paraconsistent logic of quantum superpositions
- A categorial semantic representation of quantum event structures
- A topos for algebraic quantum theory
- Construction of a structure which enables to describe the joint system of a classical system and a quantum system
- A mathematical condition for a sublattice of a propositional system to represent a physical subsystem, with a physical interpretation
- Modal operators on Heyting algebras
- Tensor product of difference posets and effect algebras
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
- The logic of quantum mechanics
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
- Contextual logic for quantum systems
- Tensor product of quantum logics
- Modal-type orthomodular logic
- Compositional Quantum Logic
- The sheaf-theoretic structure of non-locality and contextuality
- A quantum logical and geometrical approach to the study of improper mixtures
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- Aspects of topoi
This page was built for publication: Physical properties as modal operators in the topos approach to quantum mechanics