A completeness theorem of quantum set theory

MaRDI QIDQ2851808zbMATH OpenFDO

Authors Satoko Titani

Publication date 4 October 2013

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• scientific article; zbMATH DE number 3853062
• Quantum set theory
• A theory of quantal sets
• Towards a paraconsistent quantum set theory
• scientific article; zbMATH DE number 1377709
• Quantum sets
• Quantum logics and completeness criteria of inner product spaces
• Axiomatic quantum mechanics and completeness
• Set-theoretical models for quantum systems
• Quantum set theory: transfer principle and De Morgan's laws

Cited in

(7)

• Quantum set theory
• Complete axiomatizations for quantum actions
• Set-theoretical models for quantum systems
• Transfer principle in quantum set theory
• A natural deduction system for orthomodular logic
• The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization
• Systems of quantum logic

This page was built for publication: A completeness theorem of quantum set theory

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