In this paper, a logical theory of the, so called, trichotomous evaluative linguistic expressions (TEv-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). First, we discuss informally what are properties of the meaning of TEv-expressions. Then we construct step by step axioms of a formal logical theory T Ev of TEv-expressions and prove various properties of T Ev . All the proofs are syntactical and so, our theory is very general. We also outline construction of a canonical model of T Ev . The main elegancy of our theory consists in the fact that semantics of all kinds of evaluative expressions is modeled in a unified way. We also prove theorems demonstrating that essential properties of the vagueness phenomenon can be captured within our theory.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.