A Presentation of Quantum Logic Based on an and then Connective

DOI10.1093/logcom/exm054zbMath1141.03030arXivquant-ph/0701113OpenAlexW2150415440MaRDI QIDQ5450568

Daniel J. Lehmann

Publication date: 12 March 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/quant-ph/0701113

zbMATH Keywords

orthomodular latticequantum logicmodular latticequantum measurementgeneralized Boolean algebrameasurement algebranon-commutative Boolean algebranon-associative Boolean algebra

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (4)

Logical connectives on lattice effect algebras ⋮ Quantum logic in dagger kernel categories ⋮ Similarity-projection structures: The logical geometry of quantum physics ⋮ Quantum Logic in Dagger Kernel Categories

This page was built for publication: A Presentation of Quantum Logic Based on an and then Connective