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) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

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

(8)

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

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)