Classical and quantum probabilities as truth values

DOI10.1063/1.3688627zbMath1285.60003arXiv1102.2213MaRDI 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 theory; von Neumann algebra; quantum logic; quantum probability; truth value; sheaf topoi

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

03G12: Quantum logic

60A05: Axioms; other general questions in probability

Related Items

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

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