Quantum set theory: transfer principle and De Morgan's laws

DOI10.1016/j.apal.2020.102938zbMath1467.03016arXiv2002.06692OpenAlexW3005820681MaRDI QIDQ2659103

Masanao Ozawa

Publication date: 25 March 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.06692

zbMATH Keywords

orthomodular latticesZFCquantum logicimplicationcommutatorBoolean-valued modelsDe Morgan's lawstransfer principlequantum set theoryorthomodular-valued models

Mathematics Subject Classification ID

Applications of selfadjoint operator algebras to physics (46L60) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Applications of set theory (03E75) Nonclassical and second-order set theories (03E70) Quantum logic (03G12) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Nondistributivity of human logic and violation of response replicability effect in cognitive psychology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean valued interpretation of Hilbert space theory
• Spectral order for unbounded operators
• On a Boolean power of a torsion free Abelian group
• Boolean valued analysis and type I \(AW^*\)-algebras
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Orthomodularity and relevance
• Material implications in orthomodular (and Boolean) lattices
• Von Neumann algebras and Boolean valued analysis
• An axiom system for the modular logic
• Commutators and decompositions of orthomodular lattices
• Forcing in nonstandard analysis
• On some new operations on orthomodular lattices
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Quantum reality and measurement: a quantum logical approach
• The commutator and solvability in a generalized orthomodular lattice
• A theory of computation based on quantum logic. I
• A Transfer Principle from Von Neumann Algebras to AW^∗ -Algebras
• Commutative regular rings and Boolean-valued fields
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• Boolean simple groups and boolean simple rings
• A transfer principle in harmonic analysis
• Boolean valued Lie algebras
• Two Applications of Logic to Mathematics
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
• Nonuniqueness of the Cardinality Attached to Homogeneous AW ∗ -Algebras
• Scott incomplete Boolean ultrapowers of the real line
• Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
• Towards a Paraconsistent Quantum Set Theory
• Transfer principle in quantum set theory
• Sasaki projections on orthocomplemented posets
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice