Title :
Semantic Games with Backtracking for Fuzzy Logics
Author :
Fermuller, Christian G.
Abstract :
Hintikka´s game theoretic semantics for classical connectives and quantifiers has been generalized to many-valued logics in various ways. After providing a short overview, we introduce a new type of semantic games: backtracking games, where a stack of formulas is used to store information on how to continue the game even after reaching an atomic formula. We present backtracking games for the three fundamental t-norm based logics: Lukasiewicz, Gödel, and Product logic and provide corresponding adequateness theorems.
Keywords :
backtracking; fuzzy logic; game theory; multivalued logic; Gödel logic; Hintikka game theoretic semantics; Lukasiewicz logic; adequateness theorems; atomic formula; backtracking games; classical connectives; fundamental t-norm based logics; fuzzy logic; many-valued logics; product logic; quantifiers; Cognition; Dispersion; Frequency modulation; Fuzzy logic; Game theory; Games; Semantics; evaluation games; fuzzy logic; semantic games; t-norm based logics;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
Conference_Location :
Bremen
DOI :
10.1109/ISMVL.2014.15
