Monotonicity of entailment

Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. In sequent calculi this property can be captured by an inference rule called weakening, or sometimes thinning, and in such systems one may say that entailment is monotone if and only if the rule is admissible. Logical systems with this property are occasionally called monotonic logics in order to differentiate them from non-monotonic logics.

Weakening rule

To illustrate, starting from the natural deduction sequent:

Γ $\vdash$ C

weakening allows one to conclude:

Γ, A $\vdash$ C

Non-monotonic logics

Main article: Non-monotonic logic

In most logics, weakening is either an inference rule or a metatheorem if the logic doesn't have an explicit rule. Notable exceptions are:

• Strict logic or relevant logic, where every hypothesis must be necessary for the conclusion.
• Linear logic which disallows arbitrary contraction in addition to arbitrary weakening.
• Bunched implications where weakening is restricted to additive composition.
• Various types of default reasoning.
• Abductive reasoning, the process of deriving the most likely explanations of the known facts.
• Reasoning about knowledge, where statements specifying that something is not known need to be retracted when that thing is learned.

See also

• Contraction
• Exchange rule
• Substructural logic

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Logic stubs Logical consequence Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? Winningreen LLC C. Martin Croker Look at other dictionaries: Monotonic function — Monotonicity redirects here. For information on monotonicity as it pertains to voting systems, see monotonicity criterion. Monotonic redirects here. For other uses, see Monotone (disambiguation). Figure 1. A monotonically increasing function (it… …   Wikipedia Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… …   Wikipedia Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia Monotone — refers to a sound, for example speech or music, that has a single unvaried tone. Monotone or monotonicity may also refer to: Monotone (software), an open source revision control system Monotone class theorem, in measure theory Monotone… …   Wikipedia Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   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”