پیوندهای مفید
اخبار و اعلانات
آمار
| تعداد نشریات | 31 |
| تعداد شمارهها | 834 |
| تعداد مقالات | 8,015 |
| تعداد مشاهده مقاله | 14,852,495 |
| تعداد دریافت فایل اصل مقاله | 9,586,518 |
Fuzzy type theory with partial functions | ||
| Iranian Journal of Fuzzy Systems | ||
| مقاله 2، دوره 16، شماره 2، خرداد و تیر 2019، صفحه 1-16 اصل مقاله (249.83 K) | ||
| نوع مقاله: Original Manuscript | ||
| شناسه دیجیتال (DOI): 10.22111/ijfs.2019.4538 | ||
| نویسنده | ||
| Vilém Novák* | ||
| Centre of Excellence IT4Innovations, 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 to introduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of the corresponding 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 a theory T, ”∗” is defined or provable then T is contradictory. We will also show completeness in the sense any consistent theory of FTT with partial functions has a model. | ||
| کلیدواژهها | ||
| Fuzzy type theory؛ EQ-algebra؛ partial function؛ description operator | ||
| مراجع | ||
|
[1] P. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Kluwer, Dordrecht, 2002. [2] L. Bˇehounek, V. Nov´ak, Towards fuzzy partial logic, In: Proc. 45th Intl. Symposium on Multiple-Valued Logics, IEEE, Danvers, USA, 2015, pp. 139–144. [3] A. Bochvar, On a three-valued calculus and its application to analysis of paradoxes of classical extended functional calculus, History and Philosophy of Logic 2 (1981), 87–112. [4] M. Duˇz´ı, B. Jespersen, P. Materna, Procedural Semantics for Hyperintensional Logic, Springer, Dordrecht, 2010. [5] M. El-Zekey, Representable good EQ-algebras, Soft Computing 14 (2009), 1011–1023. [6] W. M. Farmer, A partial functions version of Church’s simple theory of types, Journal of Symbolic Logic 55 (1990), 1269–1291. [7] P. H´ajek, P. Cintula, On theories and models in fuzzy predicate logics, Journal of Symbolic Logic 71(3) (2006), 863–880. [8] S. Lapierre, A Functional Partial Semantics for Intensional Logic, Notre Dame Journal of Formal Logic 33 (1992), 517–541. [9] F. Lepage, Partial functions in type theory, Notre Dame Journal of Formal Logic 33 (1992), 493–516. [10] P. Materna, Concepts and Objects, Acta Philosophica Fennica 63, Helsinki, 1998. [11] V. Nov´ak, Descriptions in the full fuzzy type theory, Neural Network World 5 (2003), 559–565. [12] V. Nov´ak, On fuzzy type theory, Fuzzy Sets and Systems 149 (2005), 235–273. [13] V. Nov´ak, A comprehensive theory of trichotomous evaluative linguistic expressions, Fuzzy Sets and Systems 159(22) (2008), 2939–2969. [14] V. Nov´ak, EQ-algebra-based fuzzy type theory and its extensions, Logic Journal of the IGPL 19 (2011), 512–542. [15] V. Nov´ak, B. de Baets, EQ-algebras, Fuzzy Sets and Systems 160 (2009), 2956–2978. [16] V. Nov´ak, I. Perfilieva, A. Dvoˇr´ak, Insight into Fuzzy Modeling, Wiley & Sons, Hoboken, New Jersey, 2016. [17] P. Tich´y, Foundations of partial type theory, Reports on Mathematical Logic 14 (1982), 59–72. | ||
|
آمار تعداد مشاهده مقاله: 1,110 تعداد دریافت فایل اصل مقاله: 607 |
||