Semantic Games with Backtracking for Fuzzy Logics

Author

Fermuller, Christian G.

fYear

2014

fDate

19-21 May 2014

Firstpage

Lastpage

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, Gödel, and Product logic and provide corresponding adequateness theorems.

Keywords

backtracking; fuzzy logic; game theory; multivalued logic; Gö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;

fLanguage

English

Publisher

ieee

Conference_Titel

Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on

Conference_Location

Bremen

ISSN

0195-623X

Type

conf

DOI

10.1109/ISMVL.2014.15

Filename

6844993

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=166756