Revisiting Giles's game

Christian G. Fermüller

pp. 209-227

in: Ondrej Majer, Pietarinen, Tero Tulenheimo (eds), Games, Berlin, Springer, 2009

Abstract

We explain Giles's characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.