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.^[1]

References

↑ Prawitz, Dag (2006-02-24) (in en). Natural Deduction: A Proof-Theoretical Study. Courier Dover Publications. ISBN 978-0-486-44655-4. https://books.google.com/books?id=sJj3DQAAQBAJ&q="Normal+form".

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Normal form (natural deduction). Read more

[1] Prawitz, Dag (2006-02-24) (in en). Natural Deduction: A Proof-Theoretical Study. Courier Dover Publications. ISBN 978-0-486-44655-4. https://books.google.com/books?id=sJj3DQAAQBAJ&q="Normal+form".