On the quasi-proof method
Shawn Standefer (University of Melbourne)

May 31, 2019, 11:00am - 1:00pm
Logic Group, The University of Melbourne

263
Arts West
Parkville 3010
Australia

Organisers:

University of Melbourne

Topic areas

Details

Shawn Standefer (Melbourne) will present "On the quasi-proof method" at 11 in Arts West 263 North Wing. 

Abstract: The quasi-proof method is a way of showing that the theorems of a Jaskowski-Fitch natural deduction proof system can be obtained in some axiomatic proof system. I will present an overview of the quasi-proof method focused on classical propositional and first-order logics. I will then show how to generalize it in order to get a better sense of its scope and limitations, in particular with respect to non-classical and modal logics. 

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.