Further Adventures in Natural DeductionShawn Standefer (University of Melbourne)
G14
Old Quad
Parkville 3010
Australia
Organisers:
Topic areas
Details
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.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?