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 just in case the rule is admissible. Logical systems with this property are occasionally called monotonic logics in order do differentiate them from
non-monotonic logics.
See more at Wikipedia.org...
weakening
slabljenje
Free for individual usage/Besplatan za osobnu uporabu
WEAKENING
INDEBOLIMENTO. INFIACCHIMENTO
weakening
weakening
adj
1. causing debilitation [syn: debilitative, enervating, enfeebling]
2. moderating by making pain or sorrow weaker n 1: becoming weaker [ant: strengthening] 2: the act of reducing the strength of something [ant: strengthening]
Weakening
(p. pr. & vb. n.)
of Weaken
Webster's Revised Unabridged Dictionary (1913), edited by Noah Porter.
About