Basic logic: reflection, symmetry, visibility G Sambin, G Battilotti, C Faggian The Journal of Symbolic Logic 65 (3), 979-1013, 2000 | 188 | 2000 |
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 | 47 | 2006 |
Basic logic and the cube of its extensions G Battilotti, G Sambin Logic and Foundations of Mathematics: Selected Contributed Papers of the …, 1999 | 25 | 1999 |
Logical interpretation of a reversible measurement in quantum computing G Battilotti, P Zizzi arXiv preprint quant-ph/0408068, 2004 | 15 | 2004 |
Basic logic and quantum computing: logical judgements by an insider observer G Battilotti International Journal of Quantum Information 3 (01), 105-109, 2005 | 12 | 2005 |
Quantum logic and the cube of logics G Battilotti, C Faggian, D Gabbay, F Guentner Handbook of Philosophical Logic, new edition 6, 2002 | 11 | 2002 |
Quantum states as virtual singletons: Converting duality into symmetry G Battilotti International Journal of Theoretical Physics 53, 3488-3502, 2014 | 10 | 2014 |
Characterization of quantum states in predicative logic G Battilotti International Journal of Theoretical Physics 50, 3669-3681, 2011 | 9 | 2011 |
Interpreting quantum parallelism by sequents G Battilotti International Journal of Theoretical Physics 49, 3022-3029, 2010 | 9 | 2010 |
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 | 8 | 2014 |
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 | 8 | 1993 |
The internal logic of Bell's states G Battilotti, P Zizzi arXiv preprint quant-ph/0412199, 2004 | 7 | 2004 |
Embedding classical logic into basic orthologic with a primitive modality G Battilotti Logic Journal of IGPL 6 (3), 383-402, 1998 | 7 | 1998 |
Infinite singletons and the logic of Freudian theory G Battilotti, M Borozan, R Lauro Grotto Language and Psychoanalysis 10, 46-62, 2021 | 6 | 2021 |
A predicative characterization of quantum states and Matte Blanco’s Bi-logic G Battilotti International Symposium on Quantum Interaction, 184-190, 2013 | 6 | 2013 |
A modal interpretation of quantum spins and its application to Freudian theory G Battilotti, M Borozan, RL Grotto Entropy 24 (10), 1419, 2022 | 3 | 2022 |
Logica di base attraverso il principio di riflessione G Battilotti Tesi di Dottorato, Univesita di Siena, 1997 | 3 | 1997 |
Symmetry in sequent calculus and Matte Blanco's bi-logic G Battilotti 2014 IEEE 13th International Conference on Cognitive Informatics and …, 2014 | 2 | 2014 |
Logica, computazione e teorie quantistiche della mente G Battilotti | 2 | 2008 |
The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory G Battilotti, M Borozan, R Lauro Grotto Entropy 25 (7), 1057, 2023 | 1 | 2023 |