Normal form (natural deduction)
Topic: Philosophy
From HandWiki - Reading time: 1 min
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=%22Normal+form%22.
 |  |
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Philosophy:Normal_form_(natural_deduction)1 | Status: cached on July 30 2024 02:28:43↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF