Methods of Cut-Elimination |
|
| Author:
| Baaz, Matthias
Leitsch, Alexander |
| Series title: | Trends in Logic Ser. |
| ISBN: | 978-94-007-3497-5 |
| Publication Date: | Feb 2013 |
| Publisher: | Springer Netherlands
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $109.99 |
Book Description:
|
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.