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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Baaz, Matthias (Autor), Leitsch, Alexander (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Trends in Logic, Studia Logica Library, 34
Temas:
Mathematical logic.
Machine theory.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares