Further Adventures in Natural DeductionShawn Standefer (University of Melbourne)
Shawn Standefer (Melbourne) will present "Further Adventures in Natural Deduction" at 11 in G14 Old Quad.
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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?