Further Adventures in Natural Deduction
Shawn Standefer (University of Melbourne)

October 28, 2016, 7:00am - 8:30am
Logic Group, University of Melbourne

Old Quad
Parkville 3010


Shawn Standefer
University of Melbourne

Topic areas


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. 

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.