2 papers
quant-ph2008
Quantum Logic and Quantum Computation
Mladen Pavicic, Norman D. Megill
We use classes of Hilbert lattice equations for an alternative representation of Hilbert lattices and Hilbert spaces of arbitrary quantum systems that might enable a direct introdu…
cs.LO2008
Standard Logics Are Valuation-Nonmonotonic
Mladen Pavicic, Norman D. Megill
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of non-orthomodular and thus non-distributive lattices that properly…