BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8200@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150108T110000
DTEND;TZID=Europe/Paris:20150108T120000
DTSTAMP:20241120T210105Z
URL:https://www.i2m.univ-amu.fr/evenements/topologies-faibles-et-logique-l
 ineaire/
SUMMARY:Marie Kerjean (PPS\, Université Paris-Diderot): Topologies faibles
  et logique linéaire
DESCRIPTION:Marie Kerjean: Je présenterai dans cet exposé un modèle de l
 a logique linéaire différentielle où les formules sont interprétées p
 ar les espaces vectoriels topologiques localement convexes. La condition d
 e réflexivité des espaces\, nécessaire pour obtenir une catégorie *-au
 tonome\, est obtenue en utilisant des topologie faibles et faibles-*.\nOn 
 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éflexi
 on sur le choix des produits tensoriels en sémantique dénotationnelle. S
 i le temps le permet\, je parlerai ainsi de travaux en cours sur les espac
 es nucléaires.\n\nhttp://www.pps.univ-paris-diderot.fr/~kerjean/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Marie_Kerjean.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR