13 citations · 19 across the 3 of their papers we have counts for
3 papers
quant-ph2004★ 6 cited
The internal logic of Bell's states
Giulia Battilotti, Paola Zizzi
We investigate the internal logic of a quantum computer with two qubits, in the two particular cases of non-entanglement (separable states) and maximal entanglement (Bell's states)…
quant-ph2004★ 13 cited
Logical Interpretation of a Reversible Measurement in Quantum Computing
Giulia Battilotti, Paola Zizzi
We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum…
quant-ph2004
Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer
Giulia Battilotti
We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new ax…