Quantum and classical implication algebras with primitive implications

DOI10.1023/A:1026629716885zbMath0932.03073OpenAlexW33155312MaRDI QIDQ1303419

Mladen Pavičić, Norman D. Megill

Publication date: 1998

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026629716885

zbMATH Keywords

orthomodular latticedistributive latticeclassical implicationortholatticeclassical implication algebraquantum implication algebraquantum implications

Mathematics Subject Classification ID

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

Related Items

The Sheffer stroke operation reducts of basic algebras ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions