Descriptions in the full fuzzy type theory

Journal Article

Novák Vilém

serial: Neural Network World vol.13, 5 (2003), p. 559-569

research: CEZ:AV0Z1075907

keywords: type theory, fuzzy logic

abstract (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.

Cosati: 12A

RIV: BA