کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
389336 661129 2016 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On Deductive Interpolation for the Weak Nilpotent Minimum logic
ترجمه فارسی عنوان
در الگوریتم انحرافی برای حداقل منطق ضعیف نیلپوتن
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی

The Weak Nilpotent Minimum logic WNM was introduced by Esteva and Godo in [6] and shown to be the logic of the class of weak nilpotent minimum triangular norms. In this article, we prove that WNM admits the Deductive Interpolation Property by showing through a model-theoretic argument that the corresponding variety of algebras has the Amalgamation Property.

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