Quantum Logic as a Basis for Computations

It is shown that computations can be founded on the laws of the genuine(Birkhoff—nvon Neumann) quantum logic treated as a particular version ofukasiewicz infinite-valued logic. A new way of encoding nonexact data whichencodes both the value of a number and its fuzziness is introduced. A simpleexample of a full adder that works in the proposed way is given and it is comparedwith other designs of quantum adders existing in the literature. A controversybetween the meaning of the very term quantum logic as used recently withinthe theory of quantum computations and the traditional meaning of this term isbriefly discussed.