Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4944025 | Fuzzy Sets and Systems | 2016 | 14 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Esther Anna Corsi, Franco Montagna,