Abacus logic: The lattice of quantum propositions as the poset of a theory

DOI10.2307/2275403zbMath0806.03041OpenAlexW2064782705MaRDI QIDQ4302348

Othman Qasim Malhas

Publication date: 15 August 1994

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

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

zbMATH Keywords

quantum logicabacusLindenbaum algebraconsistent theory

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Cites Work

• Quantum theory as a theory in a classical propositional calculus
• Unnamed Item

This page was built for publication: Abacus logic: The lattice of quantum propositions as the poset of a theory