Quantum logic as an implication algebra
From MaRDI portal
Publication:5569432
DOI10.1017/S0004972700041642zbMath0179.01201MaRDI QIDQ5569432
Publication date: 1970
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Related Items
Quantum logic and linear logic ⋮ Notes on automata theory based on quantum logic ⋮ Minimal quantum logic with merged implications ⋮ Residuated semigroups and the algebraic foundations of quantum mechanics ⋮ MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS ⋮ An alternative propositional calculus for application to empirical sciences ⋮ Discrete quantum structures. II: Examples ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Discrete quantum structures. I: Quantum predicate logic ⋮ Equationally definable implication algebras for orthomodular lattices ⋮ An axiom system for orthomodular quantum logic ⋮ Quasi-implication algebras. I: Elementary theory ⋮ A characterization of nuclei in orthomodular and quantic lattices ⋮ Quantic lattices ⋮ Bibliography on quantum logics and related structures ⋮ A new axiomatization of unified quantum logic ⋮ An axiomatisation of quantum logic ⋮ Quantum logic in dagger kernel categories ⋮ A general approach to non-distributive logics ⋮ Stalnaker conditionals and quantum logic ⋮ The conditional in quantum logic ⋮ Orthomodular lattices and quantales ⋮ Sequential method in quantum logic ⋮ A note on Trillas' CHC models ⋮ A theory of computation based on quantum logic. I
Cites Work
This page was built for publication: Quantum logic as an implication algebra
