scientific article; zbMATH DE number 3870638

MaRDI QIDQ3336734zbMATH OpenFDO

Authors Deepack Kapur, Balakrishnan Krishnamurthy

Publication date 1984

zbMATH Keywords

natural deduction systempropositional calculusresolution

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3981151
• Proof theory
• scientific article; zbMATH DE number 4022664
• scientific article; zbMATH DE number 3922016
• scientific article; zbMATH DE number 3935002

Cited in

(6)

• scientific article; zbMATH DE number 991409 (Why is no real title available?)
• scientific article; zbMATH DE number 996392 (Why is no real title available?)
• scientific article; zbMATH DE number 3981151 (Why is no real title available?)
• Rewrite systems for natural, integral, and rational arithmetic
• Rewriting Techniques and Applications
• Natural proofs

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