Proof Theory: Sequent Calculi and Related Formalisms

by Katalin Bimbo

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,...

• Format: Hardcover
• Language: English
• ISBN: 1466564660
• ISBN13: 9781466564664
• Release Date: August 2014
• Publisher: CRC Press
• Length: 386 Pages
• Weight: 1.50 lbs.
• Dimensions: 1.0" x 6.0" x 9.2"