Giulia Battilotti: Publications

Papers and book chapters

• [P19] The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. Entropy 2023, 25, 1057 (with M. Borozan and R. Lauro Grotto).  
  
  
• [P18] Logic in Love. Studies in Universal Logic; Birkhauser/Springer Nature, 2023 (with M. Borozan and R. Lauro Grotto).  english version   italian version
  
  
• [P17] A Modal Interpretation of Quantum Spins and Its Application to Freudian Theory. Entropy 2022, 24, 1419 (with M. Borozan and R. Lauro Grotto). 
  
  
• [P16] Infinite Singletons and the Default Mode Network. Journal of Psychology & Clinical Psychiatry 13(1) (2022), 9--13 (with M. Borozan and R. Lauro Grotto). 
  
  
• [P15] Infinite Singletons and the Logic of Freudian Theory. Language and Psychoanalysis 10 (2021), 46--62 (with M. Borozan and R. Lauro Grotto). 
  
  
• [P14] Symmetry vs duality in logic: an interpretation of Bi-logic to model cognitive processes beyond inference. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 8 (2014), 83--97.
  cited in: Ignacio Matte Blanco (Wikipedia)
  
  
• [P13] Symmetry in Sequent Calculus and Matte Blanco's bi-logic. In: Proceedings of ICCI*CC'14 (13th IEEE International Conference on Cognitive Informatics and Cognitive Computing), LSBU, London, UK, Aug. 18-20 2014, pp. 529--534.   PDF
  
  
• [P12] A predicative characterization of quantum states and Matte Blanco's bi-logic. In: Quantum Interaction, 7th International Conference, QI 2013, Leicester, UK, July 25--27, 2013 (Selected Papers). Springer LNCS vol. 8369, 2014, pp. 184--190.   PDF
  
  
• [P11] Quantum states as virtual singletons: converting duality into symmetry. Int. J. Theor. Phys. 53 (2014), 3488-3502 (Proceedings of the 11th Biennial Meeting of the International Quantum Structures Association, Cagliari, July 2012).   PDF
  
  
• [P10] Characterization of quantum states in predicative logic. Int. J. Theor. Phys. 50 (2011), 3669--3681 (Proceedings of the 10th Biennial Meeting of the International Quantum Structures Association, Boston, June 2010).   PDF
  
  
• [P9] Interpreting quantum parallelism by sequents. Int. J. Theor. Phys. 49 (2010), 3022-3029 (Proceedings of the 9th Biennial Meeting of the International Quantum Structures Association, Univ. Gdansk, Sopot, July 2008).   PDF
  
  
• [P8] Logica, computazione e teorie quantistiche della mente. Humana.Mente - Journal of Philosophical Studies 5 (2008), 119--131.  PDF
  
  
• [P7] Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Annals of Pure and Applied Logic 137 (2006) (special issue on Formal Topology), 30--61 (with G. Sambin).   PDF
  
  
• [P6] The internal logic of Bell's states. Inst. of Logic, Language and Computation - UvA, technical reports X-2005-01, preproceedings of CiE 2005: New Computational Paradigms, 18--29 (with P. Zizzi).  PDF
  
  
• [P5] Basic logic and quantum computing: logical judgements by an insider observer. Int. J. Quantum Inf. 3 (2005), 105--109.
  
  
• [P4] Quantum Logic and the cube of Logics. Chapter "Quantum Logics" (M.L. Dalla Chiara, R. Giuntini) in Handbook of Philosophical Logic, new edition, vol. 6, D. Gabbay and F. Guenthner eds., Kluwer, 2002 (with C. Faggian).  PDF
  cited in the book:
  - M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.
  
  
• [P3] Basic logic: reflection, symmetry, visibility. Journal of Symbolic Logic 65 (2000), 979--1013 (with G. Sambin, C. Faggian).   PDF
  cited in the books:
  - Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.
  - H. Wansing, Displaying Modal Logic, Studia Logica Library, Springer, 2013.
  - M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.
  
  
• [P2] Basic Logic and the cube of its extensions. In: Logic and foundations of mathematics, Cantini, Casari, Minari eds., Synthese Lib., 280, Kluwer 1999, pp. 165--186 (with G. Sambin).   PDF
  cited in the books:
  - F. Paoli, Substructural Logics: A Primer, Studia Logica Library, Springer, 2002.
  - Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.
  - M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.
  
  
• [P1] Embedding classical logic into basic orthologic with a primitive modality. Logic Journal of the IGPL 9 (1998), Special Issue on Generalized Sequent Systems, H. Wansing ed., 383--402.   PDF
  cited in the books:
  - Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.
  - Handbook of the History of Logic, vol. 8, Elsevier, 2007, Chapter: The History of Quantum Logic (by M. Dalla Chiara, R. Giuntini and M. Redei)
  - Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, 2009, Chapter: Quantum Logic and Nonclassical Logics (by G. Cattaneo, M.L. Dalla Chiara, R. Giuntini and F. Paoli)
  
  

Ph.D. Theses

• [Th2] A paraconsistent and predicative logical calculus in the framework of quantum computation. Ph.D. Thesis in Philosophy, University of Firenze, February 2009.
  
  
• [Th1] Basic Logic through the Reflection Principle (italian). Ph.D. Thesis in Mathematical Logic and Theoretical Computer Science, University of Siena, July 1997.
  
  

Preprints and technical reports

• [R2] A basic pair for quantum mechanics. In progress (with F. Valfre').
  
  
• [R1] Logical interpretation of a reversible measurement in quantum computing. preprint arXiv: quant-ph 0408068 (2004) (with P. Zizzi).