Anotace:
In this paper, a logical theory of the, so called, trichotomous evaluative linguistic expressions is presented. These are frequent expressions of natural language, such as ``small, very small, roughly medium, extremely big'', etc. The theory is developed
using the formal system of higher-order fuzzy logic, namely the fuzzy type theory (generalization of classical type theory).