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.

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Logic Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно решить контрольную? Valenças S.C. Adjuvant Look at other dictionaries: Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia Canonical form — Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… …   Wikipedia Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia natural — I. adjective Etymology: Middle English, from Anglo French naturel, from Latin naturalis of nature, from natura nature Date: 14th century 1. based on an inherent sense of right and wrong < natural justice > 2. a. being in accordance with or… …   New Collegiate Dictionary Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… …   Wikipedia Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia History of logic — Philosophy ( …   Wikipedia formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium Empiricism — John Locke, a leading philosopher of British empiricism This article is about the field of philosophy. For the album by Borknagar, see Empiricism (album). Empiricism is a theory of knowledge that asserts that knowledge comes only or primarily via …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”