Marie Kerjean
PPS, Université Paris-Diderot
https://lipn.univ-paris13.fr/~kerjean/
Date(s) : 08/01/2015 iCal
11 h 00 min - 12 h 00 min
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.
http://www.pps.univ-paris-diderot.fr/~kerjean/
Catégories