Classical and quantum probabilities as truth values
From MaRDI portal
Publication:2861735
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
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 (10)
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
This page was built for publication: Classical and quantum probabilities as truth values