We introduce some conservative gates for finite-valued logics which are able to realize all the main connectives of the many-valued logics of Loukasiewicz, 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.
Cattaneo, G., Leporati, A., Leporini, R. (2004). Quantum Conservative Gates for Finite-valued Logics. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 43(7-8), 1769-1791 [10.1023/B:IJTP.0000048819.17297.02].
Quantum Conservative Gates for Finite-valued Logics
CATTANEO, GIANPIERO;LEPORATI, ALBERTO OTTAVIO;
2004
Abstract
We introduce some conservative gates for finite-valued logics which are able to realize all the main connectives of the many-valued logics of Loukasiewicz, 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.