A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Various types of semantics games for deductive fuzzy logics, most prominently for Lukasiewicz logic, have been proposed in the literature. These games deviate from Hintikka's original game for evaluating classical first-order formulas by either introducing an explicit reference to a truth value from the unit interval at each game state (as in ) or by generalizing to multisets of formulas to be considered at any state (as, e.g., in [12, 9, 7, 10]). We explore to which extent Hintikka's gamedoi:10.1007/978-3-319-04939-7_9 fatcat:zad6cy6bmfe2bmqj6ksbarbrha