کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
389325 661129 2016 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A note on axiomatizations of Pavelka-style complete fuzzy logics
ترجمه فارسی عنوان
یک یادداشت در مورد axiomatisation منطق های فازی کامل سبک Pavelka
کلمات کلیدی
منطق فازی ریاضی؛ کامل سبک Pavelka ؛ منطق MTL؛ منطق Łukasiewicz؛ منطق محصولات؛ حقیقت ثابت
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی

Pavelka-style completeness, a property relating degrees of provability and truth, was previously studied mainly in the context of logics with continuous connectives. It is known that in some other logics one can use infinitary deduction rule(s) to retain this form of completeness. The present paper offers a systematic study of this idea for fuzzy logics which expand MTL and are given by a fixed standard algebra. We explore the structure of the class of all ‘reasonable’ expansions of any such logic by rational truth constants and, for several prominent cases, provide axiomatizations of particular expansions enjoying the Pavelka-style completeness.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 292, 1 June 2016, Pages 160–174
نویسندگان
,