Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
- 0 resultaten
laagste prijs: € 115,90, hoogste prijs: € 134,91, gemiddelde prijs: € 125,52
Methods of Cut-Elimination - Alexander Leitsch#Matthias Baaz
uitverkocht boek
(*)
Alexander Leitsch#Matthias Baaz:
Methods of Cut-Elimination - nieuw boek

ISBN: 9789400703193

ID: 836668619

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

Nieuw boek 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  Alexander Leitsch  Buch  Trends in Logic  Englisch  2011 - Leitsch, Alexander
uitverkocht boek
(*)
Leitsch, Alexander:
Methods of Cut-Elimination Alexander Leitsch Buch Trends in Logic Englisch 2011 - gebonden uitgave, pocketboek

2011, ISBN: 9789400703193

[ED: Gebunden], [PU: Springer Netherland], 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., DE, Neuware, gewerbliches Angebot, 287, [GW: 578g], sofortueberweisung.de, PayPal, Banküberweisung

Nieuw boek Booklooker.de
Buchbär
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 - Matthias Baaz; Alexander Leitsch
uitverkocht boek
(*)
Matthias Baaz; Alexander Leitsch:
Methods of Cut-Elimination - gebruikt boek

ISBN: 9400703198

ID: 10893171

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. math,mathematics,science and math Mathematics, Springer

gebruikt boek Thriftbooks.com
used. 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 - Alexander Leitsch
uitverkocht boek
(*)
Alexander Leitsch:
Methods of Cut-Elimination - nieuw boek

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 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., DE, Neuware, gewerbliches Angebot, 243x167x27 mm, 287, [GW: 578g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

Nieuw boek Booklooker.de
buchZ AG
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 - Matthias Baaz; Alexander Leitsch
uitverkocht boek
(*)
Matthias Baaz; Alexander Leitsch:
Methods of Cut-Elimination - nieuw boek

ISBN: 9789400703193

ID: 9789400703193

Mathematics; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages CERES, Goedel logic, cut-elimination, proof analysis, resolution Books, Springer Shop

Nieuw boek Springer.com
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 logi Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
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-Verlag GmbH
287 Bladzijden
Gewicht: 0,578 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 25.09.2008 21:54:20
Boek voor het laatst gevonden op 06.11.2018 10:40:10
ISBN/EAN: 9789400703193

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


< naar Archief...
Verwante boeken