Quantum Implication Algebras
Norman D. Megill, Mladen Pavičić · 2003
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analysed and put in perspective to each other and our results. PACS number: 03.65.Bz, 02.10.By, 02.10.Gd