4810 | Valid deduction is monotonic - that is, it remains valid if further premises are added [Psillos] |
14096 | Explanations fail to be monotonic [Rosen] |
13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |