- 5 Results
Lowest price: € 103.25, highest price: € 133.46, average price: € 120.04
1
Methods of Cut-Elimination - Alexander Leitsch
Order
at booklooker.de
€ 121.97
Shipment: € 0.001
Order
Provider details
Sponsored link
Alexander Leitsch:

Methods of Cut-Elimination - new book

2001, ISBN: 9789400703193

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
close (x)
2
Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - Baaz, Matthias, Leitsch, Alexander
Order
at amazon.de
€ 103.25
Shipment: € 3.001
Order
Provider details
Sponsored link

Baaz, Matthias, Leitsch, Alexander:

Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - hardcover

2011, ISBN: 9789400703193

Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… More...

Shipping costs:Gewöhnlich versandfertig in 2 bis 3 Wochen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Brook Bookstore
close (x)
3
Methods of Cut-Elimination - Leitsch, Alexander; Baaz, Matthias
Order
at Achtung-Buecher.de
€ 133.46
Shipment: € 0.001
Order
Provider details
Sponsored link
Leitsch, Alexander; Baaz, Matthias:
Methods of Cut-Elimination - hardcover

2011

ISBN: 9400703198

Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
4
Order
at AbeBooks.co.uk
€ 128.53
Shipment: € 46.061
Order
Provider details
Sponsored link
Baaz, Matthias; Leitsch, Alexander:
Methods of Cut-Elimination (Trends in Logic, 34) - hardcover

2011, ISBN: 9400703198

[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books

NOT NEW BOOK. Shipping costs: EUR 46.06 Books Unplugged, Amherst, NY, U.S.A. [74050220] [Beoordeling: 5 (van 5)]
close (x)
5
Order
at alibris.co.uk
€ 113.00
Order
Details & Shipping
Sponsored link
Baaz, Matthias, and Leitsch, Alexander:
Methods of Cut-Elimination - hardcover

2011, ISBN: 9789400703193

Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]

Shipping costs:plus shipping costs Sparks, NV, Alibris
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Methods of Cut-Elimination (Trends in Logic, 34, Band 34)
Author:
Title:
ISBN:

9789400703193


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.

Details of the book - Methods of Cut-Elimination (Trends in Logic, 34, Band 34)


EAN (ISBN-13): 9789400703193
ISBN (ISBN-10): 9400703198
Hardcover
Publishing year: 2011
Publisher: Springer
287 Pages
Weight: 0,578 kg
Language: eng/Englisch

Book in our database since 2008-09-25T20:54:20+01:00 (London)
Detail page last modified on 2023-07-07T09:17:27+01:00 (London)
ISBN/EAN: 9789400703193

ISBN - alternate spelling:
94-007-0319-8, 978-94-007-0319-3
Alternate spelling and related search-keywords:
Book author: leitsch, matthias willing, alexander, baaz
Book title: cut, methods logic, oetker backbuch

Information from Publisher

Author: Matthias Baaz; Alexander Leitsch
Title: Trends in Logic; Methods of Cut-Elimination
Publisher: Springer; Springer Netherland
290 Pages
Publishing year: 2011-01-17
Dordrecht; NL
Printed / Made in
Language: English
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
VI, 290 p.

BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; CERES; Goedel logic; cut-elimination; proof analysis; resolution; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematische Grundlagen; Theoretische Informatik; BC

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.
First book on methods of cut-elimination Combines techniques and results from proof theory and automated deduction Thereby the book provides a completely new view on proof theoretic methods and their applications This specific feature makes the book interesting for researchers and graduate students in proof theory and computational logic

More/other books that might be very similar to this book

Latest similar book:
9789400703216 Methods of Cut-Elimination (Matthias Baaz, Alexander Leitsch)

< to archive...