BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/11378/17
 -December-2019-Set-Theory-Seminar-Hrafn-Oddsson
DTSTAMP:20191212T213500
SUMMARY:Set Theory Seminar, Hrafn Oddsson
ATTENDEE;ROLE=Speaker:Hrafn Oddsson
DTSTART;TZID=Europe/Amsterdam:20191217T143000
DTEND;TZID=Europe/Amsterdam:20191217T153000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
 , Amsterdam
DESCRIPTION:Abstract: A paradefinite logic is a lo
 gic that is both paraconsistent and paracomplete. 
 In this talk we introduce a framework for models o
 f paradefinite set theories based of Thierry Liber
 t's work in paraconsistent set theory. We then pre
 sent a model of paradefinite set theory which can 
 be seen as the result of enriching the classical v
 on Neumann universe of sets with various non-class
 ical sets. We will also discuss the axiomatization
  of the theory of this model.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract: A pa
 radefinite logic is a logic that is both paraconsi
 stent and paracomplete. In this talk we introduce 
 a framework for models of paradefinite set theorie
 s based of Thierry Libert's work in paraconsistent
  set theory. We then present a model of paradefini
 te set theory which can be seen as the result of e
 nriching the classical von Neumann universe of set
 s with various non-classical sets. We will also di
 scuss the axiomatization of the theory of this mod
 el.</p>\n
URL:http://events.illc.uva.nl/settheory/
CONTACT:Lorenzo Galeotti at lorenzo.galeotti at gm
 ail.com
END:VEVENT
END:VCALENDAR