Towards evaluation games for fuzzy logics
|Title of the chapter:||Towards evaluation games for fuzzy logics|
|Title of the book:||Logic, Games, and Philosophy: Foundational Perspectives|
The article provides two kinds of game-theoretical semantics for fuzzy logics with special attention to Lukasiewicz 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 information independence of a Hintikka-Sandu style is introduced.
Game-theoretic semantics, Evaluation games, Fuzzy logic, Lukasiewicz logic.