Proof Theory —— Sequent Calculi and Related Formalisms

----- 证明论：序列元演算与相关形式体系

ISBN: 9781466564664 出版年：2014 页码：386 Bimbo, Katalin CRC Press

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