Quantum and classical implication algebras with primitive implications

DOI10.1023/A:1026629716885MaRDI QIDQ1303419zbMATH OpenOpenAlexFDO

Authors 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

distributive latticeorthomodular latticeortholatticeclassical implicationclassical implication algebraquantum implication algebraquantum implications

Mathematics Subject Classification ID

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

Recommendations

• Quantum implication algebras
• An implicational logic for orthomodular lattices
• Orthomodular implication algebras

Cited in

(6)

• Quantum implication algebras
• Intersection of Yager's implications with QL and D-implications
• New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions
• Orthomodular lattices and a quantum algebra.
• Classical logic and quantum logic with multiple and common lattice models
• The Sheffer stroke operation reducts of basic algebras

This page was built for publication: Quantum and classical implication algebras with primitive implications

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