fuzzy type theory; intermediate quantifiers; evaluative linguistic expressions

Intermediate quantifiers are special expressions of natural language which occur very often in everyday speech. Typical examples of them are almost all, most, many, few, etc. We will present a formal definition, define 10 special intermediate quantifiers and demonstrate validity of 105 generalized syllogisms based on the them. At the end, we will show how the meaning of the sentence ``Most Swedes are tall'' can be constructed in our theory.