Cover Image

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

Full description

Saved in:
Bibliographic Details
Main Authors: Baaz, Matthias. (Author, http://id.loc.gov/vocabulary/relators/aut), Leitsch, Alexander. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Trends in Logic, Studia Logica Library, 34
Subjects:
Mathematical logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-94-007-0320-9
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.

Similar Items