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

May 31, 2019, 7:00am - 9:00am
Logic Group, The University of Melbourne

Arts West
Parkville 3010


National Taiwan University

Topic areas


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.)




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.