Quantum logic as an implication algebra

DOI10.1017/S0004972700041642zbMath0179.01201MaRDI QIDQ5569432

Peter D. Finch

Publication date: 1970

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

general logic

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

• On the structure of quantum logic

This page was built for publication: Quantum logic as an implication algebra