scientific article; zbMATH DE number 3655931

MaRDI QIDQ3855174zbMATH OpenFDO

Authors Albert G. Dragalin

Publication date 1979

zbMATH Keywords

classical and intuitionistic predicate calculi for strong normalizationderivations in Gentzen's sequent calculusdouble recursive boundminimal reduction

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

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