On the quasi-proof method

Shawn Standefer (University of Melbourne)

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.