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 in questo prodotto:
| 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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
