Proof Theory: Sequent Calculi and Related Formalisms
Proof theory, particularly sequent calculi, allows you to provide completely formal proofs of theorems and facilitate reasoning about proofs. However, sequent calculi are not widely taught to students at either the undergraduate or graduate levels. Remedying this deficiency, this book provides a comprehensive introduction to sequent calculi. It incorporates new developments in the theory of sequent calculi from the last few decades, including recent results on consecution calculi and proof systems.