Aanmelden
De tip van euro-boek.nl
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
- 0 resultaten
laagste prijs: € 107,22, hoogste prijs: € 128,39, gemiddelde prijs: € 121,92
...
Methods of Cut-Elimination - Alexander Leitsch#Matthias Baaz
(*)
Alexander Leitsch#Matthias Baaz:
Methods of Cut-Elimination - nieuw boek

ISBN: 9789400703193

ID: 1943133451

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. This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics. Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Thalia.de
No. 24259673. Verzendingskosten:, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Methods of Cut-Elimination - Matthias Baaz; Alexander Leitsch
(*)
Matthias Baaz; Alexander Leitsch:
Methods of Cut-Elimination - gebonden uitgave, pocketboek

ISBN: 9789400703193

ID: 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. Books > Mathematics Hard cover, Springer Shop

Springer.com
new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Methods of Cut-Elimination - Baaz, Matthias; Leitsch, Alexander
(*)
Baaz, Matthias; Leitsch, Alexander:
Methods of Cut-Elimination - nieuw boek

ISBN: 9789400703193

ID: 666739

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics. Computers Computers eBook, Springer Netherlands

ebooks.com
Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Methods of Cut-Elimination - Leitsch, Alexander; Baaz, Matthias
(*)
Leitsch, Alexander; Baaz, Matthias:
Methods of Cut-Elimination - gebonden uitgave, pocketboek

2011, ISBN: 9400703198

ID: A11419051

Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Netherland]

Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Methods of Cut-Elimination - Alexander Leitsch
(*)
Alexander Leitsch:
Methods of Cut-Elimination - gebruikt boek

ISBN: 9789400703193

ID: 110438023_us

Livre

Raktuten.fr
Priceminister
1 Offers. Verzendingskosten:France. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.

Bijzonderheden over het boek
Methods of Cut-Elimination

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.

Gedetalleerde informatie over het boek. - Methods of Cut-Elimination


EAN (ISBN-13): 9789400703193
ISBN (ISBN-10): 9400703198
Gebonden uitgave
Verschijningsjaar: 2011
Uitgever: Springer
287 Bladzijden
Gewicht: 0,578 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-09-25T21:54:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-06-12T18:49:23+02:00 (Amsterdam)
ISBN/EAN: 9789400703193

ISBN - alternatieve schrijfwijzen:
94-007-0319-8, 978-94-007-0319-3


< naar Archief...