7 citations · 20 across the 6 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
quant-ph2003
Equivalences, Identities, Symmetric Differences, and Congruences in Orthomodular Lattices
Norman D. Megill, Mladen Pavicic
It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of e…
quant-ph2003
Quantum Implication Algebras
Norman D. Megill, Mladen Pavicic
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular…