scientific article; zbMATH DE number 3365215

MaRDI QIDQ5638280zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1971

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited in

(4)

• Extension of the inverse method to axiomatic theories with equality
• A specialization of the form of deductions in Gentzen calculi and its applications
• The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
• Simultaneous rigid E-unification is undecidable

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 Q5638280)