An axiom system for orthomodular quantum logic

DOI10.1007/BF01837551MaRDI QIDQ1160172zbMATH OpenWikidataFDO

Authors Gary Hardegree

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01837551

zbMATH Keywords

axiomatic calculus for orthomodular-valid formulasconditional connectiveLindenbaum- Tarski algebralogical matricesorthomodular logicSasaki arrow

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Categoricity and completeness of theories (03C35) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites work

• An axiom system for the modular logic
• An axiomatisation of quantum logic
• An m-Orthocomplete Orthomodular Lattice is m-Complete
• scientific article; zbMATH DE number 3438820 (Why is no real title available?)
• scientific article; zbMATH DE number 753768 (Why is no real title available?)
• scientific article; zbMATH DE number 3399177 (Why is no real title available?)
• scientific article; zbMATH DE number 3088093 (Why is no real title available?)
• scientific article; zbMATH DE number 3109251 (Why is no real title available?)
• Modal propositional logic on an orthomodular basis. I
• Orthoimplication algebras
• Orthomodular lattices as implication algebras
• Orthomodular Logic
• Quantum logic as an implication algebra
• Quantum logic with implication
• Sasaki projections on orthocomplemented posets
• Semantic analysis of orthologic
• Stalnaker conditionals and quantum logic
• The conditional in quantum logic

Cited in

(7)

• Bibliography on quantum logics and related structures
• Fuzzy implications in lattice effect algebras
• The Birth of quantum logic
• A natural deduction system for orthomodular logic
• A new axiomatization of unified quantum logic
• Towards a quantum logic of paradox
• Material implications in lattice effect algebras

This page was built for publication: An axiom system for orthomodular quantum logic

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