Negations and meets in topos quantum theory
From MaRDI portal
Publication:2076330
DOI10.1007/s10701-021-00529-7zbMath1485.81006arXiv2111.15226OpenAlexW4226490099MaRDI QIDQ2076330
Publication date: 16 February 2022
Published in: Foundations of Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.15226
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Logical aspects of Boolean algebras (03G05) Complemented modular lattices, continuous geometries (06C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bohrification of operator algebras and quantum logic
- A topos for algebraic quantum theory
- Quantum logic in algebraic approach
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- 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 generalisation of Stone duality to orthomodular lattices
- Interpretations of quantum mechanics in terms of beable algebras
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- Topos-based logic for quantum systems and bi-Heyting algebras
- Topos Theoretic Quantum Realism
- A topos foundation for theories of physics: I. Formal languages for physics
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- A topos foundation for theories of physics: IV. Categories of systems
This page was built for publication: Negations and meets in topos quantum theory