13 citations · 34 across the 6 of their papers we have counts for
4 papers · 1 filter
Characterization of quantum states in predicative logic
Giulia Battilotti
We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic an…
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)…
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…
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…