• Source: Normal form (natural deduction)

An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.




References

Kata Kunci Pencarian:

• Normal form (natural deduction)
• Normal form
• Canonical form
• Natural deduction
• Deduction theorem
• Index of logic articles
• Curry–Howard correspondence
• Abductive reasoning
• Proof-theoretic semantics
• Analytic proof