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:7674@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20161214T103000
DTEND;TZID=Europe/Paris:20161214T113000
DTSTAMP:20241120T204753Z
URL:https://www.i2m.univ-amu.fr/evenements/seminaire-logique-et-interactio
 ns-tba-2/
SUMMARY:Willem Heijltjes (University of Bath): Conflict nets: Locally canon
 ical MALL proof nets
DESCRIPTION:Willem Heijltjes: A l’occasion de la soutenance de thèse de 
 Matteo Acclavio l’après-midi.\n\nProof nets capture the semantic and/or
  computational content of linear logic in a clean graphical representation
 . They are perfect for the multiplicative fragment without units\, and for
  the additive fragment with or without units. Beyond these fragments\, the
  multiplicative units and the weakening rule of the exponentials make cano
 nical proof nets impossible.\nIn-between\, the multiplicative-additive fra
 gment without units (MALL) occupies an interesting space where the interpl
 ay between canonicity and complexity is subtle. Canonical proof nets exist
 \, in Hughes and Van Glabbeek's Slice Nets\, but they are exponential-size
 d. Monomial proof nets (by Girard\, Laurent and Maieli) have interesting c
 omputational properties\, but not canonicity.\nIn this talk I will discuss
  Conflict Nets\, a notion of proof net that combines several good properti
 es:\n\n\n 	Conservativity over MLL and ALL proof nets\n 	Linear size compa
 red to sequent proofs\n 	Canonicity for all local rule permutations\n\nHer
 e\, local permutations are those that do not duplicate or erase entire sub
 proofs. In MALL\, only a the permutation of a tensor-rule and a with-rule 
 is non-local\; all other permutations are factored out in conflict nets. B
 y isolating this one rule permutation\, conflict nets give a very sharp pi
 cture of where complexity resides.\nThis is joint work with Dominic Hughes
 .\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Willem_Heijltjes.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20161030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR