You are here

Methods of Cut-Elimination

Matthias Baaz and Alexander Leitsch
Publisher: 
Springer
Publication Date: 
2011
Number of Pages: 
287
Format: 
Hardcover
Series: 
Trends in Logic 34
Price: 
139.00
ISBN: 
9789400703193
Category: 
Monograph
We do not plan to review this book.

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.