An axiomatisation of quantum logic

DOI10.2307/2273030zbMath0276.02015OpenAlexW2101091330MaRDI QIDQ4401420

Ian D. Clark

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273030

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical aspects of Boolean algebras (03G05) General logic (03B99)

Related Items (4)

Minimal quantum logic with merged implications ⋮ An axiom system for orthomodular quantum logic ⋮ Bibliography on quantum logics and related structures ⋮ Sequential method in quantum logic

Cites Work

• Quantum logic as an implication algebra

This page was built for publication: An axiomatisation of quantum logic