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:8063@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150528T110000
DTEND;TZID=Europe/Paris:20150528T120000
DTSTAMP:20241120T210012Z
URL:https://www.i2m.univ-amu.fr/evenements/treillis-et-extensions-de-la-lo
 gique-lineaire-additive/
SUMMARY:Olivier Laurent (LIP\, CNRS\, ENS Lyon): Treillis et extensions de 
 la logique linéaire additive
DESCRIPTION:Olivier Laurent: Certaines structures ordonnées libres peuvent
  être représentées à l'aide de la relation de déduction du calcul des
  séquents. En particulier\, Withman a montré par anticipation en 1941 qu
 e la relation de déduction en logique linéaire additive (ALL) blatère c
 orrespond au treillis libre. Nous regarderons diverses extensions de ce r
 ésultat en définissant des variantes de ALL qui capturent : treillis bor
 né\, treillis distributif\, treillis avec involution\, ortho-treillis\, a
 lgèbre de Boole\, etc. Si la plupart de ces résultats semblent bien conn
 us dans le folklore\, il est amusant de les ranger dans ce cadre commun é
 clairé par le projecteur de la logique linéaire. Dans le même esprit\, 
 nous regarderons comment représenter en calcul des séquents la relation 
 d'ordre sous-jacente à des systèmes de types avec intersection.\n\n
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR