Quantum logic as a basis for computations

It is shown that computations can be founded on the laws of the genuine (Birkhoff-von Neumann) quantum logic treated as a particular version of Lukasiewicz infinite-valued logic. A new way of encoding nonexact data which encodes both the value of a number and its "fuzziness" is introduced. A Simple example of a full adder that works in the proposed way is given and it is compared with other designs of quantum adders existing in the literature. A controversy between the meaning of the very term "quantum logic" as used recently within the theory of quantum computations and the traditional meaning of this term is briefly discussed.