Articles liés à Methods of Cut-Elimination
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer
- Date d'édition2011
- ISBN 10 9400703198
- ISBN 13 9789400703193
- ReliureRelié
- Nombre de pages290
Acheter neuf
En savoir plus sur cette édition
EUR 103,23
Frais de port :
EUR 2,43
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Methods of Cut-Elimination
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 12024732-n
Acheter neuf
EUR 103,23
Autre devise
Image fournie par le vendeur
Methods of Cut-Elimination (Trends in Logic) by Baaz, Matthias, Leitsch, Alexander [Hardcover ]
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : new. N° de réf. du vendeur 9789400703193
Acheter neuf
EUR 105,75
Autre devise
Image d'archives
Methods of Cut-Elimination (Trends in Logic, 34)
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Apr0412070049198
Acheter neuf
EUR 110,61
Autre devise
Image d'archives
Methods of Cut-Elimination
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9789400703193_lsuk
Acheter neuf
EUR 113,80
Autre devise
Image fournie par le vendeur
Methods of Cut-Elimination
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 12024732-n
Acheter neuf
EUR 113,79
Autre devise
Image fournie par le vendeur
Methods of Cut-Elimination
Edité par
Springer New York Jan 2011
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. Neuware -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. N° de réf. du vendeur 9789400703193
Acheter neuf
EUR 106,99
Autre devise
Image fournie par le vendeur
Methods of Cut-Elimination
Edité par
Springer Netherlands
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book on methods of cut-eliminationCombines techniques and results from proof theory and automated deductionThereby the book provides a completely new view on proof theoretic methods and their applicationsThis specific feature m. N° de réf. du vendeur 5825278
Acheter neuf
EUR 93
Autre devise
Image d'archives
Methods of Cut-Elimination
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. 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. Series: Trends in Logic. Num Pages: 290 pages, biography. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 159 x 24. Weight in Grams: 568. . 2011. 2011. Hardback. . . . . N° de réf. du vendeur V9789400703193
Acheter neuf
EUR 144,65
Autre devise
Image fournie par le vendeur
Methods of Cut-Elimination
Edité par
Springer Nature Singapore
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9789400703193
Acheter neuf
EUR 130,85
Autre devise
Image d'archives
Methods of Cut-Elimination
Edité par
Springer
(2011)
ISBN 10 : 9400703198
ISBN 13 : 9789400703193
Neuf
Couverture rigide
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. 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. Series: Trends in Logic. Num Pages: 290 pages, biography. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 159 x 24. Weight in Grams: 568. . 2011. 2011. Hardback. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9789400703193
Acheter neuf
EUR 180,05
Autre devise