On the quasi-proof methodShawn 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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?