scientific article; zbMATH DE number 3630694

zbMATH Open0406.03016MaRDI QIDQ4192035FDOQ4192035

Authors: K. Justen 

Publication date: 1978

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

zbMATH Keywords

Proof-Theoretic AnalysisInverse MethodMechanical Theorem ProvingComplexity of DerivationsElimination of Cut RulesGentzen-Type CalculusResolution Method

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) 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)