Bibliography

(eng): In this paper, the fuzzy type theory (FTT) is extended by the description operator. Its interpretation is similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory is obtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of FTT.