scientific article; zbMATH DE number 1499105

MaRDI QIDQ4501159zbMATH OpenFDO

Authors Aida Pliuškevičienė, R. Pliuškevičius

Publication date 3 September 2000

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70)

Recommendations

• Cut Elimination in the Presence of Axioms
• Cut Elimination in ε‐Calculi
• The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
• Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms
• Automated Deduction – CADE-20

This page was built for publication:

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