scientific article; zbMATH DE number 4006263

zbMATH Open0621.03037MaRDI QIDQ3757913FDOQ3757913

Authors: Nikolay N. Nepeivoda 

Publication date: 1985

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

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

zbMATH Keywords

natural deductionformal deduction

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Cited In (6)

• Natural deduction via graphs: formal definition and computation rules
• Title not available (Why is that?)
• 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)