Proof Theory

Viac o knihe

The book offers an in-depth exploration of sequent calculi, highlighting their significance in proof systems compared to more familiar methods like axiomatic and natural deduction. It covers a diverse array of variations and emphasizes their application in non-classical logics, making it a valuable resource for those interested in advanced logical frameworks and their theoretical implications. The comprehensive treatment aims to enhance understanding and appreciation of sequent calculi in the broader context of mathematical logic.