Methods of Cut-Elimination
Opis: 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. Methods of Cut-Elimination jest dostępny w sprzedaży w kategorii księgarnia ( E-booki ) [ E-Beletrystyka ] w cenie 543 zł i 68 gr (pięćset czterdzieści trzy złoych i sześćdziesiąt osiem groszy), Marka tego produktu jest nieznana.. Produkt jest nowy, a oferta jest dostępna na sprzedaż po kliknięciu w kup teraz lub w przycisk więcej informacji. Numer oferty : 2526340. Następna oferta to Fallout. Tą ofertę wyświetlono siedem razy.| Numer dostawcy | 44084 |
| ID | 54936031-6860-4d59-8e4c-24a3ddead51c |
| Ostatnia zmiana | 1675140791963 |
| Waluta | PLN |
| Dostępność | 1 |
| Kategoria | Księgarnia/E-booki/E-Beletrystyka |
| Numer produktu | 2526340 |
| Wyświetleń | 7 |
| Oferta sklepu | Zobacz ofertę sklepu |
| Format | |
| ISBN | 9789400703209 |
| Wydawnictwo | Springer Netherland |
| Autor | Matthias Baaz |
| Rok wydania | 2011 |