16 citations · 25 across the 10 of their papers we have counts for
11 papers
A discussion about LNG Experiment: Irreversible or Reversible Generation of the OR Logic Gate?
Gianpiero Cattaneo, Roberto Leporini
In a recent paper M. Lopez-Suarez, I. Neri, and L. Gammaitoni (LNG) present a concrete realization of the Boolean OR irreversible gate, but contrary to the standard Landauer princi…
A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics
Enrico Beltrametti, Maria Luisa Dalla Chiara, Roberto Giuntini +2
By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that…
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Enrico Beltrametti, Maria Luisa Dalla Chiara, Roberto Giuntini +2
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice know…
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 Approach to Epistemic Semantics
Giuseppe Sergioli, Roberto Leporini
Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (gen…
Unitary and anti-unitary quantum description of the classical not gate
G. Cattaneo, G. Conte, R. Leporini
We consider the unitary and the anti--unitary operator realizations of two important genuine quantum gates that transform elements of the computational basis of into superpositions…