Generalized quantfiers; intermediate quantifiers; fuzzy type theory; evaluative linguistic expressions; Aristotle's syllogisms.

This paper is a continuation of the formal theory of intermediate quantifiers (expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of ) introduced by Novák. The theory is a fuzzy-logic formalization of the concept introduced by Peterson in his book. In this paper, we syntactically prove that 105 generalized Aristotle's syllogism introduced in Peterson's book are in our theory valid. At the same time, we also proved that various syllogisms listed there as invalid are invalid also in our the- ory. Therefore, we believe that our theory provides a reasonable mathematical model of the generalized syllogistics.