Metadata
Author: WikiMatrix
Data
English[en]
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.
Spanish[es]
En el cálculo secuencial esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento, a veces adelgazamiento, y en tales sistemas se puede decir que la implicación es monótona si y solamente si la regla fuera admisible.