General Proof Theory
Celebrating 50 Years of Dag Prawitz's "Natural Deduction"
27-29 November 2015 in Tübingen, Germany
Call for contributed talks
Extended deadline for contributed talks: Wednesday, 12 August 2015.
Notification:17 August 2015
General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory. Continue reading