Methods of Cut-Elimination: Trends in Logic, cartea 34
Autor Matthias Baaz, Alexander Leitschen Limba Engleză Paperback – 25 feb 2013
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.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 627.43 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 25 feb 2013 | 627.43 lei 6-8 săpt. | |
Hardback (1) | 633.54 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 17 ian 2011 | 633.54 lei 6-8 săpt. |
Din seria Trends in Logic
- Preț: 365.81 lei
- Preț: 361.11 lei
- 18% Preț: 1200.62 lei
- 18% Preț: 940.05 lei
- 15% Preț: 633.86 lei
- 15% Preț: 628.89 lei
- 18% Preț: 1359.57 lei
- 15% Preț: 631.77 lei
- 15% Preț: 633.70 lei
- 15% Preț: 623.26 lei
- 15% Preț: 634.32 lei
- 15% Preț: 628.07 lei
- 18% Preț: 718.19 lei
- Preț: 377.72 lei
- 18% Preț: 940.97 lei
- 18% Preț: 936.81 lei
- 18% Preț: 932.79 lei
- 20% Preț: 1250.96 lei
- 18% Preț: 931.86 lei
- 15% Preț: 630.01 lei
- 15% Preț: 631.45 lei
- 18% Preț: 1808.00 lei
- 18% Preț: 934.33 lei
- 15% Preț: 622.64 lei
- 18% Preț: 876.67 lei
- 24% Preț: 1155.01 lei
- 15% Preț: 622.94 lei
Preț: 627.43 lei
Preț vechi: 738.15 lei
-15% Nou
Puncte Express: 941
Preț estimativ în valută:
120.08€ • 124.73$ • 99.74£
120.08€ • 124.73$ • 99.74£
Carte tipărită la comandă
Livrare economică 04-18 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789400734975
ISBN-10: 9400734972
Pagini: 296
Ilustrații: VI, 290 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:2011
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Trends in Logic
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9400734972
Pagini: 296
Ilustrații: VI, 290 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:2011
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Trends in Logic
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
1 Preface.- 2 Introduction.- 3 Preliminaries.- 4 Complexity of Cut-Elimination.- 5 Reduction and Elimination.- 6 Cut-Elimination by Resolution.- 7 Extensions of CERES.- 8 Applications of CERES.- 9 CERES in Nonclassical Logics.- 10 Related Research.
Notă biografică
Matthias Baaz is professor of logical foundations of computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematical logic at the University of Vienna and habilitation at the Vienna University of Technology. His main field of research is proof theory in classical and nonclassical logics.
Alexander Leitsch is professor of mathematics and theoretical computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematics at the University of Vienna and habilitation at the University of Linz. His research areas are automated deduction and computational proof theory.
Alexander Leitsch is professor of mathematics and theoretical computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematics at the University of Vienna and habilitation at the University of Linz. His research areas are automated deduction and computational proof theory.
Textul de pe ultima copertă
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.
Caracteristici
First book on methods of cut-elimination Combines techniques and results from proof theory and automated deduction Thereby the book provides a completely new view on proof theoretic methods and their applications This specific feature makes the book interesting for researchers and graduate students in proof theory and computational logic