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). Natural Deduction: A Proof-Theoretical Study. Courier Dover Publications. ISBN 978-0-486-44655-4.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.