کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
391130 | 661346 | 2007 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Product logic and probabilistic Ulam games
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
There is a well-known game semantics for Lukasiewicz logic, introduced by Daniele Mundici, namely the Rényi–Ulam game. Records in a Rény–Ulam game are coded by functions, which constitute an MV-algebra, and it is possible to prove a completeness theorem with respect to this semantics. In this paper we investigate some probabilistic variants of the Rényi–Ulam game, and we prove that some of them constitute a complete game semantics for product logic, whilst some other constitute a game semantics for a logic between ΠMTL and product logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 158, Issue 6, 16 March 2007, Pages 639-651
Journal: Fuzzy Sets and Systems - Volume 158, Issue 6, 16 March 2007, Pages 639-651