1 citations · 1 across the 2 of their papers we have counts for
4 papers
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…
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…
Quantum Logic
M. L. Dalla Chiara, R. Giuntini
We investigate some forms of quantum logic arising from the standard and the unsharp approach.