Reforming Takeuti's quantum set theory to satisfy De Morgan's laws

DOI10.1007/978-981-16-4173-2_7OpenAlexW4206919420MaRDI QIDQ2097061

Masanao Ozawa

Publication date: 11 November 2022

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

zbMATH Keywords

quantum logiccommutatorsDe Morgan's lawstransfer principlequantum set theory

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Material implications in orthomodular (and Boolean) lattices
• Commutators and decompositions of orthomodular lattices
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• The commutator and solvability in a generalized orthomodular lattice
• The logic of quantum mechanics
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
• Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
• Transfer principle in quantum set theory

This page was built for publication: Reforming Takeuti's quantum set theory to satisfy De Morgan's laws