You are here

Methods of Cut-Elimination

Publisher: 
Springer
Number of Pages: 
287
Price: 
139.00
ISBN: 
9789400703193
Date Received: 
Friday, January 28, 2011
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Matthias Baaz and Alexander Leitsch
Series: 
Trends in Logic 34
Publication Date: 
2011
Format: 
Hardcover
Category: 
Monograph

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.

Publish Book: 
Modify Date: 
Friday, January 28, 2011

Dummy View - NOT TO BE DELETED