Katalin Bimbo
Gebundenes Buch

Proof Theory

Sequent Calculi and Related Formalisms

Versandkostenfrei!
Versandfertig in 1-2 Wochen
133,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
67 °P sammeln!
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 for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic l...