Fuzzy type theory; Intermediate quantifiers; Aristotelian square of opposition; Complete square of opposition

In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- L ukasiewicz fuzzy type theory.

In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic ---L ukasiewicz fuzzy type theory.