Topos Quantum Logic and Mixed States

DOI10.1016/j.entcs.2011.01.023zbMath1348.81051arXiv1004.3561OpenAlexW2962749364WikidataQ113318314 ScholiaQ113318314MaRDI QIDQ2825364

Andreas Döring

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

zbMATH Keywords

superpositionquantum logicimplicationtopos approach

Mathematics Subject Classification ID

Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (1)

Spectral presheaves as quantum state spaces

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