论元间数量单调性关系与量化算子右单调的计算OA

In Generalized Quantifier Logic,monotonicity refers to the entailment projection relationship between propositions.Right-monotonicity(RM)denotes the property that a quantifier indirectly affects the quantification of variables not bound by itself.This property is not determined solely by the quantifier;instead,it requires the quantitative monotonic relationship among arguments as a necessary condition and is achieved through the transitivity law.Different quantitative monotonic relationships among arguments lead to different right-monotonic behaviors in quantificational sentences:1)The quantitative relationships of Type I and Type II arguments are additive(upward entailing)and subtractive(downward entailing)respectively.With appropriate quantifiers,quantificational sentences containing these two types of arguments can achieve right-monotonicity,but the direction of right-monotonicity is exactly opposite when the same quantifier is used in sentences with the two types of arguments;2)When Type III arguments are included in quantificational sentences,they exhibit an equivalence entailment relationship;3)In quantificational sentences with Type IV arguments,right-monotonicity cannot be achieved regardless of the quantifier used.