Methods of Cut-Elimination - Trends in Logic 34 (Hardback)
  • Methods of Cut-Elimination - Trends in Logic 34 (Hardback)
zoom

Methods of Cut-Elimination - Trends in Logic 34 (Hardback)

(author), (author)
£109.99
Hardback 290 Pages / Published: 17/01/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\"utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given.

The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G\"odel logic.

Publisher: Springer
ISBN: 9789400703193
Number of pages: 290
Weight: 1310 g
Dimensions: 235 x 155 x 17 mm
Edition: 2011

You may also be interested in...

Logic
Added to basket
£10.99
Paperback
Computability and Logic
Added to basket
Godel's Proof
Added to basket
£11.99
Paperback
Set Theory
Added to basket
£14.50
Paperback
Logic For Dummies
Added to basket
£13.99
Paperback
How to Prove It
Added to basket
Proof Theory
Added to basket
£18.99
Paperback
An Introduction to Non-Classical Logic
Added to basket
Sets, Logic and Categories
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback
Set Theory and its Philosophy
Added to basket
Alan M. Turing
Added to basket
£10.99
Paperback
Introducing Infinity
Added to basket

Please sign in to write a review

Your review has been submitted successfully.