کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6855833 | 1437690 | 2018 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Strong standard completeness for continuous t-norms
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Strong standard completeness for continuous t-norms Strong standard completeness for continuous t-norms](/preview/png/6855833.png)
چکیده انگلیسی
This paper presents a proof of a strong completeness theorem for an extended axiomatic system of fuzzy logic BL with respect to all continuous t-norms. A finite strong standard completeness theorem for all continuous t-norms and their residua, the basic fuzzy logic, was proved across two papers Hájek (1998) and Cignoli et al. (2000). In Montagna (2007), the language of BL is extended by an additional connective and the axiomatic system includes an infinitary rule to achieve strong completeness result. In this paper we provide a proof of strong completeness for BL with a different infinitary inference rule but without extending the language of BL. We will also prove strong completeness for the Åukasiewicz and product t-norms using this extended axiomatic system.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 345, 15 August 2018, Pages 139-150
Journal: Fuzzy Sets and Systems - Volume 345, 15 August 2018, Pages 139-150
نویسندگان
Agnieszka KuÅacka,