ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY

DOI10.1017/S1755020317000120zbMath1421.03026arXiv0908.0367OpenAlexW3099269944MaRDI QIDQ4600827

Masanao Ozawa

Publication date: 17 January 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingorthomodular latticesvon Neumann algebrasquantum logicimplicationcommutatorBoolean-valued modelstransfer principlequantum set theory

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)

Related Items

Quantum set theory: transfer principle and De Morgan's laws, The geometry of discrete \(L\)-algebras, Nondistributivity of human logic and violation of response replicability effect in cognitive psychology, A BRIDGE BETWEEN Q-WORLDS, Constructing illoyal algebra-valued models of set theory, A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory, Reforming Takeuti's quantum set theory to satisfy De Morgan's laws, Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Cites Work

• Orthomodularity and relevance
• Material implications in orthomodular (and Boolean) lattices
• An axiom system for the modular logic
• Commutators and decompositions of orthomodular lattices
• A lattice-valued set theory
• Quantum set theory
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Quantum perfect correlations
• Perfect correlations between noncommuting observables
• The commutator and solvability in a generalized orthomodular lattice
• Implication connectives in orthomodular lattices
• Transfer principle in quantum set theory
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item