BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260606T214007Z
DTSTART;TZID=Australia/Melbourne:20160916T070000
DTEND;TZID=Australia/Melbourne:20160916T090000
SUMMARY:Adventures in Natural Deduction
UID:20260613T130726Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Quad\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Shawn Standefer (Melbourne) will present "Adventures in Natural Deduction". The talk will start at 11 in G14 Old Quad.</p>\n<p>Abstract:&nbsp\;Two kinds of natural deduction proof system are common: tree-style and Fitch. Tree-style natural deduction has been the focus of much of the proof-theoretic investigation of natural deduction systems. Fitch systems do not receive as much attention\, although Brady (2006) provides an exception. In this talk\, I will present a translation between Fitch proofs and tree-style proofs. This translation will shed some light on how structural rules are incorporated into the systems for intuitionistic and classical logic. I will extend this translation to classical S4. Time permitting\, I will saying something about normalization. I close with a few words about future directions of research.</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR