Proof Theory
Sequent Calculi and Related Formalisms
1st Edition
Published on 20. August 2014
386 pages
978-1-4665-6468-8 (ISBN)
Description
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
Reviews / Votes
"Katalin Bimbo is one of the leading relevance logicians in the world today and indeed one of the leading non-classical logicians in general. Her book on proof theory takes readers through standard (classical) proof theory and beyond, including proof theory for some of the most important non-classical logics. The discussion is brilliantly executed. All graduate students interested in logic should study this book and all faculty too. I plan to use the book often."-Jc Beall, Professor of Philosophy, University of Connecticut, and Professorial Fellow, Northern Institute of Philosophy, University of Aberdeen
More details
Series
Edition
1. Auflage
Language
English
Place of publication
Philadelphia, PA
United States
Publishing group
Taylor & Francis Inc
Target group
Professional and scholarly
File size
18,30 MB
ISBN-13
978-1-4665-6468-8 (9781466564688)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
10/2024
1st Edition
Chapman & Hall/CRC
€78.50
Shipment within 10-20 days
Book
08/2014
1st Edition
CRC Press
€166.90
Shipment within 15-20 days
Content
Proofs and Proof Theory. Classical First-Order Logic. Variants of the First Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied Calculi. Appendix. Bibliography. Index.
