Anotace:
The paper presents a formal logical theory of evaluating linguistic expressions that is developed within Lukasiewicz fuzzy type theory. Furthermore, a class of comparative
generalized quantifiers called is introduced as special formulas of the above theory.