Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

Binary orthologic with modus ponens is either orthomodular or distributive (CROSBI ID 80916)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Pavičić, Mladen ; Megill, Norman D. Binary orthologic with modus ponens is either orthomodular or distributive // Helvetica physica acta, 71 (1998), 6; 610-628-x

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

Podaci o izdanju

71 (6)

1998.

610-628-x

objavljeno

0018-0238

Povezanost rada

Fizika

Indeksiranost