کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4944025 | 1437734 | 2016 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The Rényi-Ulam games and many-valued logics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: The Rényi-Ulam games and many-valued logics The Rényi-Ulam games and many-valued logics](/preview/png/4944025.png)
چکیده انگلیسی
In this paper we introduce complete game semantics for Product, Gödel, BL and SBL logics (game semantics for Åukasiewicz logic are well-known). For each of these logics we introduce a variant of the Rényi-Ulam game whose states are equipped in a natural way with an algebraic structure. Moreover we prove that each logic is complete with respect to the algebras of the states for the corresponding game.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 301, 15 October 2016, Pages 37-50
Journal: Fuzzy Sets and Systems - Volume 301, 15 October 2016, Pages 37-50
نویسندگان
Esther Anna Corsi, Franco Montagna,