0411272 20240903170412.220060210235959.9 11 s. cav_un_epca*02903211210-0552135 (2003)559-569Ústav informatiky AV ČR, v. v. i. type theory fuzzy logic cav_un_auth*0101170 Novák Vilém UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 12A CEZ:AV0Z1075907 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. BA E http://hdl.handle.net/11104/0003520 UTIA-B 20030259 2003 cav_un_epca*0290321 Neural Network World 1210-0552 Roč. 13 č. 5 2003 559 569 Ústav informatiky AV ČR, v. v. i.