0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Methods of Cut-Elimination (Hardcover, 2011) Loot Price: R3,197
Discovery Miles 31 970
Methods of Cut-Elimination (Hardcover, 2011): Matthias Baaz, Alexander Leitsch

Methods of Cut-Elimination (Hardcover, 2011)

Matthias Baaz, Alexander Leitsch

Series: Trends in Logic, 34

 (sign in to rate)
Loot Price R3,197 Discovery Miles 31 970 | Repayment Terms: R300 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer
Country of origin: Netherlands
Series: Trends in Logic, 34
Release date: 2011
First published: 2011
Authors: Matthias Baaz • Alexander Leitsch
Dimensions: 235 x 155 x 24mm (L x W x T)
Format: Hardcover
Pages: 290
Edition: 2011
ISBN-13: 978-9400703193
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Promotions
LSN: 9400703198
Barcode: 9789400703193

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,316 Discovery Miles 13 160
Principia Mathematica
Russell Bertrand Russell Hardcover R1,358 Discovery Miles 13 580
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R389 R328 Discovery Miles 3 280
bundle available
Primary Maths for Scotland Textbook 1C…
Craig Lowther, Antoinette Irwin, … Paperback R326 R276 Discovery Miles 2 760
bundle available
The Maths That Made Us - how numbers…
Michael Brooks Paperback R315 R281 Discovery Miles 2 810
Elements of Geometry Upon the Inductive…
James Hayward Paperback R498 Discovery Miles 4 980
bundle available
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R610 Discovery Miles 6 100
bundle available
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R462 Discovery Miles 4 620
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
bundle available
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R560 Discovery Miles 5 600

See more

Partners