Login

Leitsch, Alexander

Methods of Cut-Elimination

Leitsch, Alexander - Methods of Cut-Elimination, ebook

152,50€

Ebook, PDF with Adobe DRM
ISBN: 9789400703209
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Preface
Matthias Baaz, Alexander Leitsch

2. Introduction
Matthias Baaz, Alexander Leitsch

3. Preliminaries
Matthias Baaz, Alexander Leitsch

4. Complexity of Cut-Elimination
Matthias Baaz, Alexander Leitsch

5. Reduction and Elimination
Matthias Baaz, Alexander Leitsch

6. Cut-Elimination by Resolution
Matthias Baaz, Alexander Leitsch

7. Extensions of CERES
Matthias Baaz, Alexander Leitsch

8. Applications of CERES
Matthias Baaz, Alexander Leitsch

9. CERES in Nonclassical Logics
Matthias Baaz, Alexander Leitsch

10. Related Research
Matthias Baaz, Alexander Leitsch

Keywords: Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Author(s)
 
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Series
Trends in Logic
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9789400703209

Similar titles