Fast cut-elimination by CERES

MaRDI QIDQ3001091zbMATH OpenFDO

Authors Matthias Baaz, Alexander Leitsch

Publication date 31 May 2011

zbMATH Keywords

cut eliminationmethod CERES

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Recommendations

• Methods of cut-elimination
• Logic for Programming, Artificial Intelligence, and Reasoning
• Towards a clausal analysis of cut-elimination
• Cut-elimination and redundancy-elimination by resolution
• Proof Transformation by CERES

Cited in

(3)

• scientific article; zbMATH DE number 1086658 (Why is no real title available?)
• Cut Elimination In Situ
• Corrected upper bounds for free-cut elimination

This page was built for publication: Fast cut-elimination by CERES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3001091)