13 citations · 34 across the 6 of their papers we have counts for
6 papers
Establishing a pre-logical setting in a quantum model of psycho-analytic theory
Giulia Battilotti, Rosapia Lauro Grotto
A crucial issue both in cognitive and psychoanalytical theories deals with the origin of mental representations. In order to explore this issue, the paper analyzes a pre-logical se…
Quantum states as virtual singletons: converting duality into symmetry
Giulia Battilotti
In a predicative framework from basic logic, defined for a model of quantum parallelism by sequents, we characterize a class of first order domains, termed {\em virtual singletons}…
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…