Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.

By:

Leitsch, Alexander [author.]

Contributor(s):

Series: Trends in Logic ; 34Publisher: Dordrecht : Springer Netherlands, 2011Description: VI, 290 p. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9789400703209

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Printed edition:: No titleDDC classification:

511.3 23

LOC classification:

QA8.9-10.3

Online resources:

Click here to access online

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.

In: Springer eBooksSummary: 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 presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 2 )

No physical items for this record

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 presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.

Back to results