BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260604T145103Z
DTSTART;TZID=Australia/Melbourne:20161028T070000
DTEND;TZID=Australia/Melbourne:20161028T083000
SUMMARY:Further Adventures in Natural Deduction
UID:20260606T034705Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010 
DESCRIPTION:<p>Shawn Standefer (Melbourne) will present "Further Adventures in Natural Deduction" at 11 in G14 Old Quad.</p>\n<p>Abstract: I will build on ideas from my previous talk\, "Adventures in Natural Deduction" and present a Gentzen-Prawitz tree natural deduction system for the relevant logic R. I will sketch how it lines up with the Anderson-Belnap Fitch-style system and how it differs from Prawitz's own proof system for Urquhart's semilattice semantics. I'll say a bit about tree proof systems for E and T (and RW\, EW\, and TW). This talk will be accessible without the previous one.&nbsp\;</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR