December 9, 2016

This is a talk on proof theory for Melbourne Logic Day.

Abstract: In this talk, I will explain how proof terms for derivations in classical propositional logic are invariants for derivations under a natural class of permutations of rules. The result is two independent characterisations of one underlying notion of proof identity.


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.