In this paper we introduce complete game semantics for Product, Godel, BL and SBL logics (game semantics for Lukasiewicz logic are well-known). For each of these logics we introduce a variant of the Renyi-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. (C) 2015 Elsevier B.V. All rights reserved.
The Rényi-Ulam games and many-valued logics / E.A. Corsi, F. Montagna. - In: FUZZY SETS AND SYSTEMS. - ISSN 0165-0114. - 301:(2016), pp. 37-50. [10.1016/j.fss.2015.09.006]
The Rényi-Ulam games and many-valued logics
E.A. Corsi
;
2016
Abstract
In this paper we introduce complete game semantics for Product, Godel, BL and SBL logics (game semantics for Lukasiewicz logic are well-known). For each of these logics we introduce a variant of the Renyi-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. (C) 2015 Elsevier B.V. All rights reserved.
| File | Dimensione | Formato | |
|---|---|---|---|
|
1. CORSI MONTAGNA (2016).pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
639.92 kB
Formato
Adobe PDF
|
639.92 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
