Proof Theory: Sequent Calculi and Related Formalisms
ISBN: 9780429099694
Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC
Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited
Subjects: Computer Science; Mathematics & Statistics; Algorithms & Complexity; Advanced Mathematics; Discrete Mathematics;

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


hidden image for function call