Quantum Conservative Gates for Finite-Valued Logics

We introduce some conservative gates for finite-valued logics which are able to realize all the main connectives of the many-valued logics of Łukasiewicz, the MV-algebras of Chang and Brower–Zadeh algebras. After a brief exposition of the motivations for this work, the gates are defined and their properties are explored. Finally, a possible quantum realization of them is proposed, using three techniques: a “brute force” method--an extension of the Conditional Quantum Control argument, and a new technique which we call the Constants Method. For all these techniques, the unitary operator which describes the gate is a sum of local operators.