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

October 28, 2016, 11:00am - 12:30pm
Logic Group, University of Melbourne

G14
Old Quad
Parkville 3010
Australia

Organisers:

Shawn Standefer
University of Melbourne

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. 

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

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.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.