BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T075630Z DTSTART;TZID=Australia/Melbourne:20160916T070000 DTEND;TZID=Australia/Melbourne:20160916T090000 SUMMARY:Adventures in Natural Deduction UID:20240329T075710Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Quad\, Parkville\, Australia\, 3010 DESCRIPTION:
Shawn Standefer (Melbourne) will present "Adventures in Natural Deduction". The talk will start at 11 in G14 Old Quad.
\nAbstract: \;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.
ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR