Fuzzy representation of finite-valued quantum gates

The theory of logical gates in quantum computation has inspired the development of new forms of quantum logic based on the following semantic idea: the meaning of a formula is identified with a quantum information quantity, represented by a density operator. At the same time, the logical connectives are interpreted as operations defined in terms of quantum gates. In this framework, some possible relations between fuzzy representations based on continuous t-norms for quantum gates and the probabilistic behavior of quantum computational finite-valued connectives are investigated. In particular, a fuzzy-type representation for quantum many-valued extensions of the gates introduced by Toffoli, Fredkin and Peres is described.