An axiom system for orthomodular quantum logic

DOI10.1007/BF01837551zbMath0476.03059WikidataQ114693765 ScholiaQ114693765MaRDI QIDQ1160172

Gary M. Hardegree

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

logical matricesSasaki arroworthomodular logicaxiomatic calculus for orthomodular-valid formulasconditional connectiveLindenbaum- Tarski algebra

Mathematics Subject Classification ID

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

Related Items (5)

The Birth of quantum logic ⋮ Bibliography on quantum logics and related structures ⋮ A new axiomatization of unified quantum logic ⋮ Fuzzy implications in lattice effect algebras ⋮ Material implications in lattice effect algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orthomodular lattices as implication algebras
• Orthoimplication algebras
• An axiom system for the modular logic
• Stalnaker conditionals and quantum logic
• The conditional in quantum logic
• Semantic analysis of orthologic
• Modal propositional logic on an orthomodular basis. I
• Orthomodular Logic
• An axiomatisation of quantum logic
• Sasaki projections on orthocomplemented posets
• Quantum logic as an implication algebra
• An m-Orthocomplete Orthomodular Lattice is m-Complete
• Quantum logic with implication

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