Séminaire, 27 septembre 2007
Exposés
 14:00: Michele Basaldella (Università di Siena), Exponentials in Ludics: How and at what price

Ludics is a research project introduced by JY 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 «nonuniform» 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