Jump to content

Normal form (natural deduction)

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by GünniX (talk | contribs) at 10:39, 27 December 2020 (References). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.


Stub icon

This logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Normal_form_(natural_deduction)&oldid=996565071"