Proof Theory Sequent Calculi and Related Formalisms By: Katalin Bimbo Publisher: Chapman and Hall/CRC Print ISBN: 9781466564664, 1466564660 eText ISBN: 9781466564688, 1466564687 Edition: 1st Copyright year: 2014 Format: PDF Available from $ 23.18 USD SKU 9781466564688R90 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, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logic Download ebook: https://ouo.io/6EGIMO6
