کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6855828 | 1437690 | 2018 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Characterizing finite-valuedness
ترجمه فارسی عنوان
مشخص کردن ارزش محدود
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
معانی منطقی ماتریس، بسیاری از ارزش، محدودیت ارزش، محدودیت شدید، جدول تناوبی محلی، محدودیت محلی، لغو، محدودیت پذیری،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
We introduce properties of consequence relations that provide abstract counterparts of different notions of finite-valuedness in logic. In particular, we obtain characterizations of logics that are determined (i) by a single finite matrix, (ii) by a finite set of finite matrices, and (iii) by a set of n-generated matrices for some natural number n. A crucial role is played in our proofs by two closely related notions, local tabularity and local finiteness.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 345, 15 August 2018, Pages 113-125
Journal: Fuzzy Sets and Systems - Volume 345, 15 August 2018, Pages 113-125
نویسندگان
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio,