1. Descriptions in the full fuzzy type theory
- Creator:
- Novák, Vilém
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- fuzzy logic, type theory, description operator, fuzzy type theory, and defuzzification
- Language:
- English
- Description:
- In this paper, we extend the fuzzy type tlieory (FTT) by the description operator whose interpretation is a function which assigns a fuzzy set from Ma and element from Ma and is thus similar to the defuzzification operation introduced in the fuzzy set theory. The full fuzzy type theory is obtained when extending the FTT by the description operator together with a proper axiom. Some basic properties of the description operator have been proved as well as the cornpleteness of the full FTT.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public