scientific article; zbMATH DE number 3630694

MaRDI QIDQ4192035zbMATH OpenFDO

Authors K. Justen

Publication date 1978

zbMATH Keywords

Complexity of DerivationsElimination of Cut RulesGentzen-Type CalculusInverse MethodMechanical Theorem ProvingProof-Theoretic AnalysisResolution Method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Cited in

(1)

• A note on regular resolution

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