Fredkin gates for finite-valued reversible and conservative logics
Gianpiero Cattaneo, Alberto Leporati, Roberto Leporini · Journal of Physics A Mathematical and General · 2002
The basic principles and results of conservative logic introduced by Fredkin and Toffoli in 1982, on the basis of a seminal paper of Landauer, are extended to d -valued logics, with a special attention to three-valued logics. Different approaches to d -valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Łukasiewicz and Gödel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d -valued universal gates are described which realize a functionally complete set of fundamental connectives. Two no-go theorems are also proved.