Quantum logic as an implication algebra

DOI10.1017/S0004972700041642MaRDI QIDQ5569432zbMATH OpenFDO

Authors Peter D. Finch

Publication date 1970

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

Full work available at URL https://doi.org/10.1017/S0004972700041642

zbMATH Keywords

general logic

Cites work

• On the structure of quantum logic

Cited in

(29)

• A note on Trillas' CHC models
• Minimal quantum logic with merged implications
• 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 general approach to non-distributive logics
• Stalnaker conditionals and quantum logic
• The conditional in quantum logic
• Quantum logic and linear logic
• Notes on automata theory based on quantum logic
• Orthomodular lattices and quantales
• A theory of computation based on quantum logic. I
• Sequential method in quantum logic
• An axiomatisation of quantum logic
• 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
• A natural deduction system for orthomodular logic
• A new axiomatization of unified quantum logic
• Implication in sharply paraorthomodular and relatively paraorthomodular posets
• On contextuality and unsharp quantum logic
• Towards a quantum logic of paradox
• Residuated semigroups and the algebraic foundations of quantum mechanics
• Quantum logic in dagger kernel categories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5569432)