Topos Quantum Logic and Mixed States
From MaRDI portal
Publication:2825364
DOI10.1016/j.entcs.2011.01.023zbMath1348.81051arXiv1004.3561OpenAlexW2962749364WikidataQ113318314 ScholiaQ113318314MaRDI QIDQ2825364
Publication date: 7 October 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.3561
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A constructive proof of the Stone-Weierstrass theorem
- Intuitionistic quantum logic of an \(n\)-level system
- Topoi. The categorial analysis of logic. Rev. ed
- The canonical topology on a meet-semilattice
- 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 perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Quantum logic in intuitionistic perspective
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Kochen-Specker theorem for von Neumann algebras
- A globalisation of the Gelfand duality theorem
- The spectral theory of commutative C∗-algebras: The constructive spectrum
- The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem
- Topos Methods in the Foundations of Physics
- The physical interpretation of daseinisation
- 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
- The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
This page was built for publication: Topos Quantum Logic and Mixed States
