3 citations · 4 across the 5 of their papers we have counts for
6 papers
Recognizing Concepts and Recognizing Musical Themes. A Quantum Semantic Analysis
Maria Luisa Dalla Chiara, Roberto Giuntini, Eleonora Negri +1
How are abstract concepts and musical themes recognized on the basis of some previous experience? It is interesting to compare the different behaviors of human and of artificial in…
Holistic logical arguments in quantum computation
Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini +1
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum infor…
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.