On Semantic Games for Łukasiewicz Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F18%3A00495556" target="_blank" >RIV/67985807:_____/18:00495556 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-62864-6_10" target="_blank" >10.1007/978-3-319-62864-6_10</a>

Jazyk výsledku
angličtina
Název v původním jazyce
On Semantic Games for Łukasiewicz Logic
Popis výsledku v původním jazyce
We explore different ways to generalize Hintikka’s classic game theoretic semantics to a many-valued setting, where the unit interval is taken as the set of truth values. In this manner a plethora of characterizations of Łukasiewicz logic arise. Among the described semantic games is Giles’s dialogue and betting game, presented in a manner that makes the relation to Hintikka’s game more transparent. Moreover, we explain a so-called explicit evaluation game and a ‘bargaining game’ variant of it. We also describe a recently introduced backtracking game as well as a game with random choices for Łukasiewicz logic.
Název v anglickém jazyce
On Semantic Games for Łukasiewicz Logic
Popis výsledku anglicky
We explore different ways to generalize Hintikka’s classic game theoretic semantics to a many-valued setting, where the unit interval is taken as the set of truth values. In this manner a plethora of characterizations of Łukasiewicz logic arise. Among the described semantic games is Giles’s dialogue and betting game, presented in a manner that makes the relation to Hintikka’s game more transparent. Moreover, we explain a so-called explicit evaluation game and a ‘bargaining game’ variant of it. We also describe a recently introduced backtracking game as well as a game with random choices for Łukasiewicz logic.

Projekt
<a href="/cs/project/GAP402%2F12%2F1309" target="_blank" >GAP402/12/1309: Vícehodnotový přístup k optimům a ekvilibriím v ekonomii</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
ISBN
978-3-319-62863-9
Počet stran výsledku
16
Strana od-do
263-278
Počet stran knihy
632
Název nakladatele
Springer
Místo vydání
Cham
Kód UT WoS kapitoly
000442073900010

Podobné výsledky(10)