scientific article; zbMATH DE number 4006263

MaRDI QIDQ3757913zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1985

zbMATH Keywords

natural deductionformal deduction

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• On the definition of ‘formal deduction’
• Natural deduction via graphs: formal definition and computation rules
• Deduction graphs with universal quantification
• A natural extension of natural deduction
• scientific article; zbMATH DE number 4033057

Cited in

(6)

• Natural deduction via graphs: formal definition and computation rules
• scientific article; zbMATH DE number 4033057 (Why is no real title available?)
• On the definition of ‘formal deduction’
• An algebraic approach to the formalization of some deduction techniques
• A bridge between constructive logic and computer programming
• Deduction graphs with universal quantification

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