Philosophy:Normal form (natural deduction)

From HandWiki
Revision as of 20:44, 18 April 2022 by imported>John Stpola (simplify)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

  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=%22Normal+form%22. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Normal_form_(natural_deduction)&oldid=464743"