A new axiomatization of unified quantum logic
From MaRDI portal
Publication:685166
DOI10.1007/BF00671784zbMath0786.03046MaRDI QIDQ685166
Publication date: 30 September 1993
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items (3)
Probabilistic forcing in quantum logics ⋮ A complete axiomatisation for the logic of lattice effect algebras ⋮ Nonordered quantum logic and its YES-NO representation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- There is a probabilistic semantics for every extension of classical sentence logic
- Varieties of orthomodular lattices related to states
- Equational bases for some varieties of orthomodular lattices related to states
- Minimal quantum logic with merged implications
- Equationally definable implication algebras for orthomodular lattices
- An axiom system for orthomodular quantum logic
- Bibliography on quantum logics and related structures
- Orthomodular lattices as implication algebras
- Orthoimplication algebras
- Stalnaker conditionals and quantum logic
- Generalized normal logic
- Semantic analysis of orthologic
- Orthomodular lattices admitting no states
- SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
- Orthomodularity is not elementary
- Sequential method in quantum logic
- Orthomodular Logic
- Imbedding of the quantum logic in the modal system of Brower
- Quantum logic as an implication algebra
This page was built for publication: A new axiomatization of unified quantum logic
