8 janvier 2015, 11:00 : Séminaire

Marie Kerjean (PPS), Topologies faibles et logique linéaire

Je présenterai dans cet exposé un modèle de la logique linéaire différentielle où les formules sont interprétées par les espaces vectoriels topologiques localement convexes. La condition de réflexivité des espaces, nécessaire pour obtenir une catégorie -autonome, est obtenue en utilisant des topologie faibles et faibles-. On remarque de plus une interprétation de la polarité des formules en terme de topologie. La construction de ce modèle permet d'engager une réflexion sur le choix des produits tensoriels en sémantique dénotationnelle. Si le temps le permet, je parlerai ainsi de travaux en cours sur les espaces nucléaires.

5 février 2015

Séminaire Chocola à Lyon.