Binary orthologic with modus ponens is either orthomodular or distributive (CROSBI ID 80916)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Pavičić, Mladen ; Megill, Norman D.
engleski
Binary orthologic with modus ponens is either orthomodular or distributive
We show that binary orthologic becomes either quantum or classical logic when nothing but modus ponens rule is added to it, depending on the kind of the operation of implication used. We also show that in the usual approach the rule characterizes neither quantum nor classical logic. The difference turns out to stem from the chosen valuation on a model of a logic. Thus algebraic mappings of axioms of standard quantum logics would fail to yield an orthomodular lattice if a unary---as opposed to binary---valuation were used. Instead, non-orthomodular nontrivial varieties of orthologic are obtained. We also discuss the computational efficiency of the binary quantum logic and stress its importance for quantum computation and related algorithms.
quantum logic; orthomodular lattices; quantum computation; modus ponens; distributivity; classical logic
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano