Proof theory: sequent calculi and related formalisms
Auteur :
Bimbo, Katalin
Éditeur :
Taylor & Francis Ltd
ISBN :
9781032920771
Date de publication :
14 oct. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from