Solutions to selected exercises from

Proof Theory: Sequent Calculi and Related Formalisms

Here I provide solutions (and detailed sketches of solutions) to selected exercises through links to PDF (Portable Document Format) files. Please check the time of the latest update below to see whether I have added new files since your previous visit.

  Chapter 2.
Exercise 2.3.1.
Exercise 2.3.2.

  Chapter 3.
Exercise 3.2.1.

  Chapter 4.
Exercise 4.3.15.

  Chapter 5.
Exercise 5.2.2.
Exercise 5.3.13.

  Chapter 6.
Exercise 6.4.2.

  Chapter 7.
Exercise 7.6.9.

  Chapter 8.
Exercise 8.2.8.

  Chapter 9.
Exercise 9.2.3.

This web page points to supplementary resources to my book:   Katalin Bimbó, Proof Theory: Sequent Calculi and Related Formalisms, CRC Press, Boca Raton, FL, (to appear in August, 2015).

Updated on August 13th, 2018.