1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Quantum Computational Logics. A Survey
M. L. Dalla Chiara, R. Giuntini, R. Leporini
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified…
Qubit semantics and quantum trees
M. L. Dalla Chiara, R. Giuntini, R. Leporini +1
In the qubit semantics the \emph{meaning} of any sentence is represented by a \emph{quregister}: a unit vector of the --fold tensor product $\otimes^n \C^2$, where depen…
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…
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…