Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
From MaRDI portal
Publication:1610694
DOI10.1023/A:1015276209768zbMath1021.81002arXivquant-ph/0107123OpenAlexW1948430915MaRDI QIDQ1610694
Publication date: 20 August 2002
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0107123
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Related Items
Contextuality and the fundamental theorems of quantum mechanics ⋮ Topos models for physics and topos theory ⋮ Topos quantum theory on quantization-induced sheaves ⋮ Double-slit interference and temporal topos ⋮ Topos quantum theory with short posets ⋮ Topos quantum theory reduced by context-selection functors ⋮ Gleason’s theorem for composite systems ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ A topos perspective on state-vector reduction ⋮ Topologies on quantum topoi induced by quantization ⋮ Contextual logic for quantum systems ⋮ A topos perspective on state-vector reduction ⋮ Superlogic manifolds and geometric approach to quantum logic ⋮ Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit ⋮ Topos-theoretic extension of a modal interpretation of quantum mechanics ⋮ Topos Quantum Logic and Mixed States ⋮ Negations and meets in topos 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 ⋮ Kochen-Specker theorem for von Neumann algebras ⋮ Classical and quantum probabilities as truth values
