A BRIDGE BETWEEN Q-WORLDS

DOI10.1017/S1755020319000492MaRDI QIDQ6153159zbMATH OpenOpenAlexFDO

Authors A. Döring, Benjamin Eva, Masanao Ozawa

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

zbMATH Keywords

paraconsistent logicquantum foundationsquantum logictopos quantum theoryquantum set theory

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Abstract: Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding quantum mechanics by reformulating parts of the theory inside of non-classical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, `Q-worlds'. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory.

Recommendations

• Towards a paraconsistent quantum set theory
• scientific article
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• Modality and contextuality in topos quantum theory
• A topos for algebraic quantum theory

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 3719745 (Why is no real title available?)
• scientific article; zbMATH DE number 3485695 (Why is no real title available?)
• A generalisation of Stone duality to orthomodular lattices
• A lattice-valued set theory
• A theory of computation based on quantum logic. I
• Boolean subalgebras of orthoalgebras
• Generalized algebra-valued models of set theory
• Material implications in orthomodular (and Boolean) lattices
• Models for a paraconsistent set theory
• Operational meanings of orders of observables defined through quantum set theories with different conditionals
• Orthomodular-valued models for quantum set theory
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Real analysis in paraconsistent logic
• Subalgebras of orthomodular lattices
• The logic of paradox
• The logic of quantum mechanics
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos theoretic quantum realism
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• Topos-based logic for quantum systems and bi-Heyting algebras
• Towards a paraconsistent quantum set theory
• Transfer principle in quantum set theory
• Transfinite cardinals in paraconsistent set theory
• Transfinite numbers in paraconsistent set theory
• ``What is a thing?: topos theory in the foundations of physics

Cited in

(1)

• A natural deduction system for orthomodular logic

This page was built for publication: A BRIDGE BETWEEN Q-WORLDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153159)