Fuzzy logic and knowledge representation using linguistic modifiers
Fuzzy logic for the management of uncertainty
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Precisiated natural language (PNL)
AI Magazine
Fuzzy sets and sheaves. Part I
Fuzzy Sets and Systems
A formal theory of intermediate quantifiers
Fuzzy Sets and Systems
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Continuity issues of the implicational interpretation of fuzzy rules
Fuzzy Sets and Systems
IEEE Transactions on Fuzzy Systems - Special section on computing with words
Genuine linguistic fuzzy logic control: powerful and successful control method
IPMU'10 Proceedings of the Computational intelligence for knowledge-based systems design, and 13th international conference on Information processing and management of uncertainty
A linguistic approach to time series modeling with the help of F-transform
Fuzzy Sets and Systems
A hierarchical model of a linguistic variable
Information Sciences: an International Journal
A formal theory of generalized intermediate syllogisms
Fuzzy Sets and Systems
Reasoning about mathematical fuzzy logic and its future
Fuzzy Sets and Systems
Expert Systems with Applications: An International Journal
Detection of fuzzy association rules by fuzzy transforms
Advances in Fuzzy Systems - Special issue on Fuzzy Functions, Relations, and Fuzzy Transforms (2012)
A logical approach to fuzzy truth hedges
Information Sciences: an International Journal
I-struve: Automatic linguistic descriptions of visual double stars
Engineering Applications of Artificial Intelligence
Mining linguistic associations for emergent flood prediction adjustment
Advances in Fuzzy Systems - Special issue on Fuzzy Methods and Approximate Reasoning in Geographical Information Systems
| Hi-index | 0.21 |
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^E^v of TEv-expressions and prove various properties of T^E^v. All the proofs are syntactical and so, our theory is very general. We also outline construction of a canonical model of T^E^v. 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.