این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۲، شماره ۲، صفحات ۴۱-۶۱
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی EQ-logics with delta connective
چکیده انگلیسی مقاله In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binaryoperations of fuzzy equality and multiplication. EQ-algebra generalizesresiduated lattices, namely, every residuated lattice is an EQ-algebra but notvice-versa.In this paper, we introduce additional connective $logdelta$ in EQ-logics(analogous to Baaz delta connective in MTL-algebra based fuzzy logics) anddemonstrate that the resulting logic has again reasonable properties includingcompleteness. Introducing $Delta$ in EQ-logic makes it possible to prove alsogeneralized deduction theorem which otherwise does not hold in EQ-logics weakerthan MTL-logic.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله m dyba |
university of ostrava, nsc it4innovations, 30. dubna 22, 702 00 ostrava, czech republic

v novak |
university of ostrava, nsc it4innovations, 30. dubna 22, 702 00 ostrava, czech republic

نشانی اینترنتی http://ijfs.usb.ac.ir/article_1981_f9c205b6a230d24728542018f1b3f176.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات