Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination

DOI10.1007/s11225-015-9618-zzbMath1315.00019OpenAlexW303177798MaRDI QIDQ2350976

Samuel R. Buss

Publication date: 26 June 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9618-z

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) External book reviews (00A17)

Uses Software

• ProofTool

Cites Work

• Linear unification
• Lower Bounds on Herbrand's Theorem
• Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
• Logic for Programming, Artificial Intelligence, and Reasoning
• Cut-elimination and redundancy-elimination by resolution

This page was built for publication: Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination