Proof Theory

Viac o knihe

This book offers an in-depth exploration of sequent calculi, highlighting their significance alongside more familiar proof systems. It covers a diverse array of non-classical logics, such as intuitionistic, relevance, linear, and modal logics. The author details various proof systems, emphasizing the development of cut theorems and decidability theorems. This comprehensive treatment aims to enhance understanding and appreciation of sequent calculi within the broader context of logic.