Methods of Cut-Elimination / Trends in Logic Bd.34 (PDF)

Name: Methods of Cut-Elimination / Trends in Logic Bd.34
Brand: Springer-Verlag GmbH
SKU: 30049233
Price: 96.29 EUR
Availability: OnlineOnly

(Sprache: Englisch)

Autoren: Matthias Baaz , Alexander Leitsch

Schreiben Sie einen Kommentar zu "Methods of Cut-Elimination / Trends in Logic Bd.34".

Methods of Cut-Elimination / Trends in Logic Bd.34, Matthias Baaz, Alexander Leitsch

Merken

Mehr zum Inhalt Autorenporträt Video

sofort als Download lieferbar

Bestellnummer: 30049233

eBook (pdf) 96.29 €

Download bestellen

Verschenken

48 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Methods of Cut-Elimination / Trends in Logic Bd.34 (PDF)“

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.

Autoren-Porträt von Matthias Baaz, Alexander Leitsch

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.