Classical and quantum probabilities as truth values

DOI10.1063/1.3688627zbMath1285.60003arXiv1102.2213OpenAlexW3104752413MaRDI QIDQ2861735

Chris J. Isham, Andreas Döring

Publication date: 11 November 2013

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

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

zbMATH Keywords

quantum theoryvon Neumann algebraquantum logicquantum probabilitytruth valuesheaf topoi

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Axioms; other general questions in probability (60A05)

Related Items

The mathematical descriptions of truth and change, Topos models for physics and topos theory, Topos quantum theory on quantization-induced sheaves, Topos quantum theory with short posets, Topos quantum theory reduced by context-selection functors, Spectral presheaves as quantum state spaces, Conceptual and technical challenges of quantum gravity, Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics, The logic of the future in quantum theory, The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bohrification of operator algebras and quantum logic
• Intuitionistic quantum logic of an \(n\)-level system
• Topoi. The categorial analysis of logic. Rev. ed
• A topos for algebraic quantum 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.
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Quantum logic as partial infinite-valued Łukasiewicz logic
• Singular coverings of toposes
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
• Lectures on Quantum Theory
• 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