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:491@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141204T153000
DTEND;TZID=Europe/Paris:20141204T163000
DTSTAMP:20141119T143000Z
URL:https://www.i2m.univ-amu.fr/evenements/some-topics-on-hypersequents/
SUMMARY: (...): Some topics on hypersequents
DESCRIPTION:: Hypersequent calculus\, introduced by Arnon Avron\, is an ext
 ension of the ordinary sequent calculus that deals with disjunctions of se
 quents. Historically it has been a tool for studying intermediate logics a
 nd many-valued logics (so-called fuzzy logics)\, but it is interesting in 
 its own right as a proof system with a well-behaved cut-elimination proced
 ure.In this talk\, I will discuss some aspects of hypersequents\, that cou
 ld be hopefully meaningful to those who are not interested in fuzzy logics
  at all. The topics include:• Brouwer's fixed point theorem and cut-elim
 ination: a potential link.• Algebraic cut-elimination a la Maehara and O
 kada: success and failure.• Takeuti-Titani's density rule: elimination a
 nd algebraic interpretation.[http://www.kurims.kyoto-u.ac.jp/~terui/]
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