Classical and quantum probabilities as truth values
From MaRDI portal
Publication:2861735
Abstract: We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physics. On the quantum side, the results are a natural extension of our existing work on a topos approach to quantum theory. Earlier results on the representation of arbitrary quantum states are complemented with a purely logical perspective.
Recommendations
- Topos quantum theory reduced by context-selection functors
- A first course in topos quantum theory
- Topos quantum theory on quantization-induced sheaves
- Sheaf-theoretic representation of quantum measure algebras
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- Topos models for physics and topos theory
- scientific article; zbMATH DE number 1984276
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Contextuality and the fundamental theorems of quantum mechanics
Cites work
- scientific article; zbMATH DE number 192841 (Why is no real title available?)
- scientific article; zbMATH DE number 3059601 (Why is no real title available?)
- scientific article; zbMATH DE number 3060434 (Why is no real title available?)
- A topos for algebraic 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
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Bohrification of operator algebras and quantum logic
- Intuitionistic quantum logic of an \(n\)-level system
- Lectures on Quantum Theory
- Quantum logic as partial infinite-valued Łukasiewicz logic
- Singular coverings of toposes
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- 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.
Cited in
(16)- Topos quantum theory on quantization-induced sheaves
- The Born rule as structure of spectral bundles (extended abstract)
- Topos quantum theory reduced by context-selection functors
- Classical probability and quantum outcomes
- Spectral presheaves as quantum state spaces
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- scientific article; zbMATH DE number 1984276 (Why is no real title available?)
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
- Topos quantum logic and mixed states
- The mathematical descriptions of truth and change
- A classical probability space exists for the measurement theory based on the truth values
- The logic of the future in quantum theory
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- Topos models for physics and topos theory
- Conceptual and technical challenges of quantum gravity
- Topos quantum theory with short posets
This page was built for publication: Classical and quantum probabilities as truth values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2861735)
