Fredkin gates for finite-valued reversible and conservative logics

G Cattaneo, A Leporati, R Leporini
2002 Journal of Physics A: Mathematical and General  
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli 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 Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and
more » ... d-valued universal gates are described which realize a functionally complete set of fundamental connectives.
doi:10.1088/0305-4470/35/46/304 fatcat:44zqf2fbazc63e6kchhw4em2tm