ABSTRACT

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

chapter Chapter 1|10 pages

Proofs and proof theory

chapter Chapter 2|46 pages

Classical first-order logic

chapter Chapter 3|23 pages

Variants of the first sequent calculi

chapter Chapter 4|58 pages

Sequent calculi for non-classical logics

chapter Chapter 5|61 pages

Consecution calculi for non-classical logics

chapter Chapter 6|22 pages

Display calculi and hypersequents

chapter Chapter 7|48 pages

Cut rules and cut theorems

chapter Chapter 8|22 pages

Some other proof systems

chapter Chapter 9|63 pages

Applications and applied calculi