Connections among quantum logics. I: Quantum propositional logics

DOI10.1007/BF00670072zbMath0592.03051MaRDI QIDQ1075324

Gary M. Hardegree, Patti Frazer Lock

Publication date: 1985

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

axiom system for quantum propositional logics

Mathematics Subject Classification ID

Quantum logic (03G12)

Related Items

Representations of empirical set theories ⋮ The logics of orthoalgebras ⋮ Quantum MV algebras ⋮ The structure group of a non-degenerate effect algebra ⋮ Constructive approach to logics of physical systems: Application to EPR case ⋮ Bibliography on quantum logics and related structures ⋮ Filters and supports in orthoalgebras ⋮ Effect algebras and unsharp quantum logics. ⋮ Partial and unsharp quantum logics. ⋮ Connections among quantum logics. II: Quantum event logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The probability structure of quantum-mechanical systems
• Partial algebraic structures associated with orthomodular posets