Methods of cut-elimination
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 pre...
Gardado en:
| Auteurs principaux: | , |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Edición: | 1st ed. 2011. |
| Series: | Trends in Logic, Studia Logica Library
34 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 09 avril 2013 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Methods of cut-elimination, Matthias Baaz, Alexander Leitsch, Dordrecht, Springer, 2011, 1 vol. (VI- 287 p.), Trends in logic, 978-94-0070319-3 |
| Résumé: | 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. |
|---|---|
| descrición da copia: | Description d'après consultation du 09 avril 2013 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Bibliografía: | Bibliogr. Index |
| ISBN: | 9789400703209 |
| ISSN: | 2212-7313 |
| Acceso: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |