- 0 resultaten
laagste prijs: € 101,79, hoogste prijs: € 121,99, gemiddelde prijs: € 109,21
1
Methods of Cut-Elimination  Alexander Leitsch  Buch  Trends in Logic  Englisch  2011 - Leitsch, Alexander
bestellen
bij booklooker.de
€ 102,90
verzending: € 0,00
bestellen
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 existenc… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

Buchbär
2
Methods of Cut-Elimination
bestellen
bij Thalia.de
€ 121,99
verzending: € 8,00
bestellen
Methods of Cut-Elimination - gebonden uitgave, pocketboek

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 alg… Meer...

Nr. 24259673. Verzendingskosten:, Sofort lieferbar, zzgl. Versandkosten. (EUR 8.00)

3
Methods of Cut-Elimination - Leitsch, Alexander
bestellen
bij Averdo.com
€ 101,79
verzending: € 0,00
bestellen
Leitsch, Alexander:
Methods of Cut-Elimination - gebonden uitgave, pocketboek

2011

ISBN: 9789400703193

Erscheinungsdatum: 02/2011, Medium: Buch, Einband: Gebunden, Titel: Methods of Cut-Elimination, Autor: Leitsch, Alexander // Baaz, Matthias, Verlag: Springer-Verlag GmbH // Springer Nethe… Meer...

Nr. 70522937. Verzendingskosten:, Next Day, DE. (EUR 0.00)

Betaalde advertentie
4
Methods of Cut-Elimination (Trends in Logic (34), Band 34) - Baaz, Matthias, Leitsch, Alexander
bestellen
bij amazon.de
€ 103,24
verzending: € 0,00
bestellen
Baaz, Matthias, Leitsch, Alexander:
Methods of Cut-Elimination (Trends in Logic (34), Band 34) - gebonden uitgave, pocketboek

2011, ISBN: 9789400703193

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

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 0.00)

Amazon.de
5
Methods of Cut-Elimination (Trends in Logic) - Matthias Baaz,Alexander Leitsch
bestellen
bij awesomebooks.com
£ 104,00
(ongeveer € 116,11)
verzending: € 3,34
bestellen
Matthias Baaz,Alexander Leitsch:
Methods of Cut-Elimination (Trends in Logic) - nieuw boek

ISBN: 9789400703193

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 a… Meer...

No. 9789400703193. Verzendingskosten:2, (EUR 3.34)


Bijzonderheden over het boek
Methods of Cut-Elimination (Trends in Logic (34), Band 34)

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 (Trends in Logic (34), Band 34)


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 2020-09-22T22:57:46+02:00 (Amsterdam)
ISBN/EAN: 9789400703193

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


< naar Archief...