Towards Evaluation Games for Fuzzy Logics. Chapter 6

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F09%3A00321367" target="_blank" >RIV/67985807:_____/09:00321367 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Towards Evaluation Games for Fuzzy Logics. Chapter 6
Original language description
The article provides two kinds of game-theoretical semantics for fuzzy logics with special attention to Łukasiewicz logic. The first one is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with the so-called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a bargaining game. Finally, a basic kind of logic of informational independence of a Hintikka-Sandu style is introduced.
Czech name
Evaluační hry pro fuzzy logiky
Czech description
Článek zavádí dva druhy herní-teoretické sémantiky pro fuzzy logiky s důrazem na logiku Lukasiewiczovu. První je zobecněním evaluačních her pro klasickou logiku. Tato sémantika poskytuje zajímavé důsledky pro teorii modelů fuzzy logik, jelikož umožňuje studovat i tzn. "non-safe" modely. Druhá sémantika explikuje základní intuici o fuzzy logikách jakožto logikách částečné pravdivosti a je založena na "vyjednávacích" hrách. Na závěr je zavedena jednoduchá logika informační nezávislosti ve stylu Hinkikky aSandu.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)