Trends in Logic

Methods of Cut-Elimination

Authors: Baaz, Matthias, Leitsch, Alexander

  • First book on methods of cut-elimination
  • Combines techniques and results from proof theory and automated deduction
  • Provides a completely new view on proof theoretic methods and their applications, which makes the book interesting for researchers and graduate students in proof theory and computational logic
see more benefits

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-94-007-0320-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-94-007-0319-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-94-007-3497-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

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.

About the authors

Matthias Baaz is professor of logical foundations of computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematical logic at the University of Vienna and habilitation at the Vienna University of Technology. His main field of research is proof theory in classical and nonclassical logics.

Alexander Leitsch is professor of mathematics and theoretical computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematics at the University of Vienna and habilitation at the University of Linz. His research areas are automated deduction and computational proof theory.

Table of contents (10 chapters)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-94-007-0320-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-94-007-0319-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-94-007-3497-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Methods of Cut-Elimination
Authors
Series Title
Trends in Logic
Series Volume
34
Copyright
2011
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-94-007-0320-9
DOI
10.1007/978-94-007-0320-9
Hardcover ISBN
978-94-007-0319-3
Softcover ISBN
978-94-007-3497-5
Series ISSN
1572-6126
Edition Number
1
Number of Pages
VI, 290
Topics