1 citations · 1 across the 2 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
quant-ph2002★ 1 cited
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…
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…