2 papers
quant-ph2002
Towards a Theory of Conservative Computing
Gianpiero Cattaneo, Gianluca Della Vedova, Alberto Leporati +1
We extend the notion of conservativeness, given by Fredkin and Toffoli in 1982, to generic gates whose input and output lines may assume a finite number d of truth values. A physic…
quant-ph2002
An unsharp logic from quantum computation
G. Cattaneo, M. L. Dalla Chiara, R. Giuntini +1
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives correspo…