Fuzzy type theory with partial functions
عنوان مقاله: Fuzzy type theory with partial functions
شناسه ملی مقاله: JR_IJFS-16-2_002
منتشر شده در در سال 1398
شناسه ملی مقاله: JR_IJFS-16-2_002
منتشر شده در در سال 1398
مشخصات نویسندگان مقاله:
Vilém Novák - Centre of Excellence IT۴Innovations, Division of the University of Ostrava, Institute for research and applications of fuzzy modeling
خلاصه مقاله:
Vilém Novák - Centre of Excellence IT۴Innovations, Division of the University of Ostrava, Institute for research and applications of fuzzy modeling
This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from its kernel gives no result. Among many results, we will show that if, in atheory T, ”∗” is defined or provable then T is contradictory. We will also show completeness in the sense any consistenttheory of FTT with partial functions has a model.
کلمات کلیدی: Fuzzy type theory, EQ-algebra, partial function, description operator
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1307616/