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:7440@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20171130T110000
DTEND;TZID=Europe/Paris:20171130T123000
DTSTAMP:20241120T203954Z
URL:https://www.i2m.univ-amu.fr/evenements/une-promenade-entre-logiques-li
 neaires-classiques-et-intuitionnistes/
SUMMARY:Olivier Laurent (LIP\, CNRS\, ENS Lyon): Une promenade entre logiqu
 es linéaires classiques et intuitionnistes
DESCRIPTION:Olivier Laurent: On s'intéresse à différentes manières de r
 elier la logique linéaire classique (LL) et sa version intuitionniste (IL
 L). Les principaux ingrédients sont l'étude de non-non traductions de LL
  dans ILL\, et les résultats de conservativité de LL sur ILL. En analysa
 nt le cas particulier d'une non-non traduction bien choisie de LL dans TL 
 (la logique tensorielle\, fragment "positif" de ILL)\, on montre que l'on 
 peut re-prouver la propriété de focalisation de LL. Cette preuve établi
 t un lien entre les caractéristiques "au plus une formule à droite" des 
 systèmes intuitionnistes et "au plus une formule positive active" des sys
 tèmes focalisés.\nCes différents résultats ont été formalisés en Co
 q à l'aide de la bibliothèque Yalla. Nous présenterons brièvement cett
 e bibliothèque\, ses spécificités et la manière de l'utiliser.\n\n
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR