این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۶، شماره ۲، صفحات ۱-۱۶
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Fuzzy type theory with partial functions
چکیده انگلیسی مقاله 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.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله Vilém Novák |
Centre of Excellence IT4Innovations, Division of the University of Ostrava, Institute for research and applications of fuzzy modeling

نشانی اینترنتی http://ijfs.usb.ac.ir/article_4538_23a27f249980a6556a8ab849480f08ef.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/448/article-448-1373605.pdf
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات