0411237 20240103182312.020060210235959.9 0-7695-1918-0 Los Alamitos IEEE Computer Society 2003 6 s. 65-70 fuzzy logic type theory cav_un_auth*0101170 Novák Vilém UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 12A CEZ:AV0Z1075907 The formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra. Some properties of theories of fuzzy type theory are demonstrated and the completeness saying that each consistent theory has a model is proved. We will follow the way of the development of the classical type theory are demonstrated and the completeness saying that each consistent theory has a model is proved. cav_un_auth*0213131 International Symposium on Multiple-Valued Logic /33./ Tokyo JP 16.05.2003-19.05.2003 BA E http://hdl.handle.net/11104/0131323 UTIA-B 20030224 2003 2003 Los Alamitos IEEE Computer Society 0-7695-1918-0 Proceedings of the 33rd International Symposium on Multiple-Valued Logic 65 70