Giulia Battilotti: list of talks

• [T49] Psychoanalytic Theory and Logic. XXVIII Meeting of AILA (Italian Association of Logic and its Applications), Udine, September 2024
  (joint work with M. Borozan and R. Lauro Grotto).   slides
  
  
• [T48] Abstract projector and its components in a spin model, and its interpretation in a prelogical environment suitable for psychoanalysis. IQSA Conference Quantum Structures 2024, Bruxelles
  (joint work with M. Borozan and R. Lauro Grotto).   slides
  
  
• [T47] A hypothesis on the components of judgements following Freudian theory. Logic Colloquium 2023, Milan, June 2023
  (joint work with M. Borozan and R. Lauro Grotto).   abstract (see p. 55)
  
  
• [T46] A modal interpretation of quantum spins and its application to Freudian theory. IQSA Conference Quantum Structures 2022 - Tropea, July 2022
  (joint work with M. Borozan and R. Lauro Grotto).   slides
  
  
• [T45] A discussion of Bi-logic and Freud's Representation Theory in formal logic. 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Prague, August 2019
  (joint work with M. Borozan and R. Lauro Grotto).   slides
  
  
• [T44] Reading Bi-logic in first order language. Logic Colloquium 2018, Udine, July 2018
  (joint work with M. Borozan and R. Lauro Grotto).
  
  
• [T43] From Basic Logic to a quantum logical approach to Matte Blanco's Bi-logic. XXVI Meeting of AILA (Italian Association of Logic and its Applications), Padova, September 2017
  (joint work with M. Borozan and R. Lauro Grotto).  abstract
  
  
• [T42] An approach to Bi-logic by modalities. SILFS 2017 - Triennial International Conference of the Italian Society for Logic and Philosophy of Science, Bologna, June 2017
  (joint work with R. Lauro Grotto).  abstract (see p. 44)
  
  
• [T41] Contemporary approaches to Matte Blanco's Bi-logic: the case of quantum formalisms. INVITED TALK at the International Workshop "On the Edge of Disciplines",
  Satellite Symposium of the 18th World Congress of the World Association of Dynamic Psychiatry (2017), Florence, December 2016. 
  
  
• [T40] First order language and its constraints. IQSA Conference Quantum Structures 2016, Leicester (UK), July 2016.  abstract
  
  
• [T39] A model for Bi-logic. European Mathematical Psychology Group Meeting 2015 (EMPG 2015), Padova, September 2015.  abstract
  
  
• [T38] Quantum states by first order variables: some consequences. Logic Colloquium 2015, Helsinki, August 2015.  abstract
  
  
• [T37] Bi-logic via infinite singletons. 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Helsinki, August 2015.  abstract
  
  
• [T36] Interpreting Matte Blanco's Bi-logic by sequents. Special session on Computational Psychoanalysis - 13th IEEE-ICCI*CC, London, August 2014.  poster
  
  
• [T35] Symmetry in sequent calculus from quantum computation. Meeting of the Italian Association for Logic and Applications (AILA), Pisa, April 2014.
  
  
• [T34] A predicative characterization of quantum states and Matte Blanco's bi-logic. Quantum Interaction 2013, Leicester (UK), July 2013.  poster
  
  
• [T33] Quantum states as virtual singletons. 11th Biennial IQSA Meeting - Quantum Structures, Cagliari, July 2012.
  
  
• [T32] A logical model for quantum computation by means of sequents. INVITED SEMINAR at the Department of Physics and Astronomy, UBC (Vancouver), August 2011 (invitation by R. Raussendorf).   slides
  
  
• [T31] Duality of quantum states from basic logic. INVITED TALK at Third International Workshop 'Quantum Structures 2011', Kocovce (Slovakia), May 2011.   abstract
  
  
• [T30] Quantum Sequents. Meeting of the Italian Association for Logic and Applications (AILA), Bologna, February 2011.
  
  
• [T29] Bi-logic and Quantum Logic. INVITED SEMINAR at the Faculty of Formation Sciences, University of Bergamo, January 2011 (invitation by R. Arpaia).
  
  
• [T28] A computational model for quantum logic compared with Matte Blanco's bi-logic. International Conference of the SILFS, Bergamo, December 2010.
  
  
• [T27] Quantum sequents. 10th Biennial IQSA Meeting - Quantum Structures, Boston, June 2010.   slides
  
  
• [T26] Negation as a primitive duality, in a model for quantum computation. INVITED TALK at the special session "Negation", World School and Congress in Universal Logic III, Lisboa, April 2010.   slides
  
  
• [T25] Structural rules and implication in a sequent calculus for quantum computation. World School and Congress in Universal Logic III, Lisboa, April 2010.   slides
  
  
• [T24] Some considerations on logic and consciousness. Alghero Summer School: "The Social Self", Alghero, September 2009.   slides
  
  
• [T23] A sequent calculus with entanglement. Logic and the foundations of physics: space, time and quanta (Trends in Logic VI), Bruxelles, December 2008.   abstract
  
  
• [T22] A basic pair for quantum mechanics. Advances in Constructive Topology and Logical Foundations - in honor of the 60th birthday of Giovanni Sambin, Padua, October 2008
  (joint work with Francesco Valfre').   abstract
  
  
• [T21] Sequent calculus and quantum parallelism. 5 ECM (European Congress of Mathematics) - Section: Logic and Foundations, Amsterdam, July 2008.   poster
  
  
• [T20] Sequent calculus and quantum parallelism. 9th Biennial IQSA Meeting - Quantum Structures, Sopot (Poland), July 2008.   slides
  
  
• [T19] Some considerations on logic and self-consciousness (italian). Italian Congress on Mathematical Logic and Socio-Cognitive Processes, Salerno, June 2008.   slides
  
  
• [T18] Parallel strategies in sequent calculus. Meeting of the Italian Association for Logic and Applications (AILA), Genova, February 2008.
  
  
• [T17] Quantum computation and cognition: a logical approach. 4th Conference of the Italian Association for Cognitive Sciences (AISC), Rome, November 2007.   poster
  
  
• [T16] Logical implication and attachment. International Conference "Toward a Science of Consciousness", Budapest, July 2007.
  
  
• [T15] From quantum mind to AI. International Conference "Computers and Philosophy", Laval (France), May 2006.
  
  
• [T14] The inner quantum logic of Bell's states (italian). INVITED SEMINAR at the Dept. of Philosophy, University of Florence, May 2005 (invitation by M.L. Dalla Chiara).
  
  
• [T13] The inner quantum logic of Bell's states. Meeting of the Italian Association for Logic and Applications (AILA), Pisa, February 2005.
  
  
• [T12] Logical interpretation of a reversible measurement in quantum computing (italian). Italian Meeting on Foundations of Physics, Cesena, October 2004.
  
  
• [T11] Logical interpretation of a reversible measurement in quantum computing. INVITED TALK at the international workshop "Quantum Computing: Logical Aspects", Porto Conte (Sassari), September 2004.
  
  
• [T10] Basic logic and quantum computing. Poster, International Conference on Quantum Information, Camerino, April 2004.
  
  
• [T9] Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Conference in memoriam of P. Miglioli, Mantova, October 2000.
  
  
• [T8] Symmetric and unsymmetric sequent calculi from basic logic (italian). INVITED SEMINAR at the Dept. of Mathematics, University of Palermo, May 1998 (invitation by S. Termini).
  
  
• [T7] Basic logic and the reflection principle (italian). INVITED SEMINAR at the Dept. of Computer Science, University of Verona, November 1997 (invitation by R. Ferro).
  
  
• [T6] Basic logic and the reflection principle. XVII Italian Meeting of AILA, Perugia, November 1997.
  
  
• [T5] Basic logic and the reflection principle (italian). INVITED SEMINAR at the Dept. of Philosophy, University of Florence, October 1996 (invitation by M.L. Dalla Chiara).
  
  
• [T4] Symmetry in basic logic. INVITED SEMINAR at the CNRS, Marseille, October 1996 (invitation by J.I. Girard).
  
  
• [T3] Basic logic: reflection, symmetry, visibility. XVI Italian Meeting of AILA, Genova, October 1996.
  
  
• [T2] Basic Logic and the cube of its extensions (italian). INVITED SEMINAR at the Dept. of Philosophy, University of Florence, December 1994 (invitation by M.L. Dalla Chiara).
  
  
• [T1] A cube of extensional logics (italian). Italian Workshop on Linear Logic, Monselice (Padua), October 1994.