scientific article; zbMATH DE number 1499105

zbMATH Open0947.03074MaRDI QIDQ4501159FDOQ4501159

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

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)