 | This article needs additional citations for
verification. (November 2020) |
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. [1]
References
- ^ Prawitz, Dag (2006-02-24). Natural Deduction: A Proof-Theoretical Study. Courier Dover Publications. ISBN 978-0-486-44655-4.
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |
| This article needs additional citations for
verification. (November 2020) |
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. [1]
References
- ^ Prawitz, Dag (2006-02-24). Natural Deduction: A Proof-Theoretical Study. Courier Dover Publications. ISBN 978-0-486-44655-4.
|
| This logic-related article is a stub. You can help Wikipedia by expanding it. |