Proceedings

T. Piecha and P. Schroeder-Heister (eds), General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015, URI: http://dx.doi.org/10.15496/publikation-10394, University of Tübingen 2016.

 

The proceedings collect abstracts, slides and papers of the presentations given, as well as contributions from two speakers who were unable to attend.

 

T. Piecha and P. Schroeder-Heister (eds), General Proof Theory. Special issue of Studia Logica 107, 2019.