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
Rezensionen / Stimmen
"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
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
ISBN-13
978-1-040-05897-8 (9781040058978)
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 Klassifikation
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.
