BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.3.6//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9140@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260702T110000
DTEND;TZID=Europe/Paris:20260702T123000
DTSTAMP:20260626T155016Z
URL:https://www.i2m.univ-amu.fr/evenements/1-%e2%8a%a5-in-mll/
SUMMARY:Olivier Laurent (ÉNS de Lyon): 1 = ⊥ in MLL
DESCRIPTION:Olivier Laurent: The introduction of units in multiplicative li
 near logic (MLL) makes syntactic properties much more complex\, in particu
 lar regarding the question of identity of proofs and thus of proof nets. S
 tarting from the well known relation between the axioms 1 ⊢ ⊥ and ⊥ 
 ⊢ 1 and the mix rules\, we study which equivalence on sequent-calculus p
 roofs provides a syntactic isomorphism 1 ≃ ⊥. This leads to the introd
 uction of MLLM\, a variant of MLL with a self dual unit identifying 1 and 
 ⊥.\nMoving to the categorical side of the Curry-Howard-Lambek correspond
 ence\, we give a semantic counterpart of the previous syntactic constructi
 on in symmetric monoidal closed and *-autonomous categories.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR