Giulia Battilotti
Giulia Battilotti
DOR Logic group, Dept. of Math., Padua - Ph.D. in Logic (Siena) - Ph.D. in Phil. (Florence)
Email verificata su math.unipd.it - Home page
Titolo
Citata da
Citata da
Anno
Basic logic: reflection, symmetry, visibility
G Sambin, G Battilotti, C Faggian
Journal of Symbolic Logic, 979-1013, 2000
1362000
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
G Battilotti, G Sambin
Annals of Pure and Applied Logic 137 (1-3), 30-61, 2006
322006
Basic logic and the cube of its extensions
G Battilotti, G Sambin
Logic and foundations of Mathematics, 165-186, 1999
201999
Basic logic and quantum computing: logical judgements by an insider observer
G Battilotti
International Journal of Quantum Information 3 (01), 105-109, 2005
132005
Logical interpretation of a reversible measurement in quantum computing
G Battilotti, P Zizzi
arXiv preprint quant-ph/0408068, 2004
132004
Quantum logic and the cube of logics
G Battilotti, C Faggian
IN HANDBOOK OF PHILOSOPHICAL LOGIC, 1997
111997
Interpreting quantum parallelism by sequents
G Battilotti
International Journal of Theoretical Physics 49 (12), 3022-3029, 2010
92010
A uniform presentation of sup-lattices, quantales and frames by means of infinitary preordered sets, pretopologies and formal topologies
G Battilotti, G Sambin
Preprint 19, 1993
81993
Characterization of quantum states in predicative logic
G Battilotti
International Journal of Theoretical Physics 50 (12), 3669-3681, 2011
72011
The internal logic of Bell's states
G Battilotti, P Zizzi
arXiv preprint quant-ph/0412199, 2004
72004
Quantum states as virtual singletons: converting duality into symmetry
G Battilotti
International Journal of Theoretical Physics 53 (10), 3488-3502, 2014
62014
Embedding classical logic into basic orthologic with a primitive modality
G Battilotti
Logic Journal of IGPL 6 (3), 383-402, 1998
61998
Symmetry vs. duality in logic: An interpretation of Bi-logic to model cognitive processes beyond inference
G Battilotti
International Journal of Cognitive Informatics and Natural Intelligence …, 2014
52014
A predicative characterization of quantum states and Matte Blanco’s Bi-logic
G Battilotti
International Symposium on Quantum Interaction, 184-190, 2013
52013
Logica di base attraverso il principio di riflessione
G Battilotti
PhD thesis, Universita di Siena, 1997
31997
Symmetry in sequent calculus and Matte Blanco's bi-logic
G Battilotti
2014 IEEE 13th International Conference on Cognitive Informatics and …, 2014
22014
Logica, computazione e teorie quantistiche della mente
G Battilotti
12008
Rappresentazione delle strutture algebriche complete corrispondenti alla logica lineare e intuizionista
G Battilotti
1990
Quantum computation and cognition: a logical approach
G BATTILOTTI
A model for Bi-logic
G Battilotti
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20