A new axiomatization of unified quantum logic
From MaRDI portal
Publication:685166
DOI10.1007/BF00671784zbMATH Open0786.03046MaRDI QIDQ685166FDOQ685166
Publication date: 30 September 1993
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Recommendations
- Probabilistic forcing in quantum logics
- Unification of two approaches to quantum logic: Every Birkhoff-von Neumann quantum logic is a partial infinite-valued Łukasiewicz logic
- From basic logic to quantum logics with cut-elimination
- Connections among quantum logics. I: Quantum propositional logics
- Axiomatization of quantum logics
Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- Title not available (Why is that?)
- Orthomodular lattices admitting no states
- Title not available (Why is that?)
- Orthomodularity is not elementary
- Semantic analysis of orthologic
- Title not available (Why is that?)
- Varieties of orthomodular lattices related to states
- SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
- Title not available (Why is that?)
- Orthoimplication algebras
- Minimal quantum logic with merged implications
- Bibliography on quantum logics and related structures
- Generalized normal logic
- Sequential method in quantum logic
- Orthomodular Logic
- There is a probabilistic semantics for every extension of classical sentence logic
- Quantum logic as an implication algebra
- Equational bases for some varieties of orthomodular lattices related to states
- Title not available (Why is that?)
- Equationally definable implication algebras for orthomodular lattices
- An axiom system for orthomodular quantum logic
- Orthomodular lattices as implication algebras
- Stalnaker conditionals and quantum logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Imbedding of the quantum logic in the modal system of Brower
Cited In (8)
- Probabilistic forcing in quantum logics
- Effect algebras and unsharp quantum logics.
- Weakly complete axiomatization of exogenous quantum propositional logic
- A complete axiomatisation for the logic of lattice effect algebras
- An unsharp logic from quantum computation
- Title not available (Why is that?)
- Nonordered quantum logic and its YES-NO representation
- Multideductive logic and the theoretic-formal unification of physical theories
This page was built for publication: A new axiomatization of unified quantum logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685166)
