14:00: Michele Basaldella (Università di Siena), Exponentials in Ludics: How and at what price

Ludics is a research project introduced by J-Y Girard in 2001 and it also provides a (fully complete) Game Semantics for Multiplicative Additive Focalized Linear Logic. We want to explain how to extend Ludics framework by adding exponential constructions which preserve Analytical Theorems (in particular Separation Theorem). We also show that exponential isomorphisms are preserved in our setting and we introduce the notion of «uniform» and «non-uniform» exponentials, which are structures that naturally arise from our architecture. Unfortunately, Correctness Theorem with respect to Focalized Linear Logic holds only in a weak form