Proof Theory Forum

Welcome to the home page of the book Structural Proof Theory, by Sara Negri and Jan von Plato, published by Cambridge University Press on August 9, 2001. This home page complements the book through the features of an electronic text. In particular, it can be constantly updated and readers with suggestions for additional links, references, exercises, etc., are invited to contribute.

At the end you will find a commented list of our papers on proof theory.

  • Book contents

  • PESCA: An Interactive Proof Editor for Sequent Calculus, by Aarne Ranta. Appendix C of Structural Proof Theory contains a description of this interactive system of proof development, written by Ranta. You can download it through this link.

  • Exercises. See the link to the course Proof theory and proof search for additional available exercises. Solutions to some exercises for chapter 1 pdf file.

  • Additional references with links to electronic manuscripts.

  • Errata.

  • Links: A course on structural proof theory given by Roy Dyckhoff at the University of Dresden. Includes exercises and guided PESCA sessions.

  • Papers on proof theory by Sara Negri and Jan von Plato.

  • Text of the tutorial (in pdf format) "Natural deduction: Some recent developments" given by Jan von Plato at the Summer School on Proof Theory, Computation and Complexity, Dresden 2003.

  • Text of the tutorial (in pdf format) "Five Lectures on Proof Analysis" given by Sara Negri at the Summer School on Proof Theory, Computation and Complexity, Dresden 2003.
    Last modified January 19, 2005