0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Methods of Cut-Elimination (Hardcover, 2011) Loot Price: R2,957
Discovery Miles 29 570
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 R2,957 Discovery Miles 29 570 | Repayment Terms: R277 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
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..

Elements of Geometry Upon the Inductive…
James Hayward Paperback R422 Discovery Miles 4 220
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R535 Discovery Miles 5 350
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,652 Discovery Miles 16 520
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R373 R277 Discovery Miles 2 770
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R284 Discovery Miles 2 840
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R389 Discovery Miles 3 890
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R484 Discovery Miles 4 840
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,185 Discovery Miles 21 850
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R757 Discovery Miles 7 570
Arithmetic Simplified
Catharine E. Beecher Hardcover R858 Discovery Miles 8 580
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,022 Discovery Miles 70 220

See more

Partners