A BRIDGE BETWEEN Q-WORLDS
From MaRDI portal
Publication:6153159
DOI10.1017/s1755020319000492arXiv1812.08604OpenAlexW3101890202MaRDI QIDQ6153159
Masanao Ozawa, Benjamin Eva, Andreas Döring
Publication date: 16 March 2024
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.08604
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Subalgebras of orthomodular lattices
- Real analysis in paraconsistent logic
- Material implications in orthomodular (and Boolean) lattices
- The logic of paradox
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- A lattice-valued set theory
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- Models for a paraconsistent set theory
- Boolean subalgebras of orthoalgebras
- A generalisation of Stone duality to orthomodular lattices
- A theory of computation based on quantum logic. I
- The logic of quantum mechanics
- TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- Topos-based logic for quantum systems and bi-Heyting algebras
- TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
- Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
- Towards a Paraconsistent Quantum Set Theory
- Topos Theoretic Quantum Realism
- GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
- Transfer principle in quantum set theory
