From Games to Truth Functions: A Generalization of Giles’s Game

  title={From Games to Truth Functions: A Generalization of Giles’s Game},
  author={Christian G. Ferm{\"u}ller and Christoph Roschger},
  journal={Studia Logica},
Motivated by aspects of reasoning in theories of physics, Robin Giles defined a characterization of infinite valued Łukasiewicz logic in terms of a game that combines Lorenzen-style dialogue rules for logical connectives with a scheme for betting on results of dispersive experiments for evaluating atomic propositions. We analyze this game and provide conditions on payoff functions that allow us to extract many-valued truth functions from dialogue rules of a quite general form. Besides finite… 
Roschger From Games to Truth Functions : A Generalization of Giles ’ s Game
Motivated by aspects of reasoning in theories of physics, Robin Giles defined a characterization of infinite valued Lukasiewicz logic in terms of a game that combines Lorenzen-style dialogue rules
Hintikka-Style Semantic Games for Fuzzy Logics
It is shown how not only various extensions of Kleene-Zadeh logic, but also proper extensions Łukasiewicz logic arise in this manner, and how propositional as well as quantifier rules that allow for random choices are considered to obtain stronger logics.
Semantic Games with Backtracking for Fuzzy Logics
  • C. Fermüller
  • Computer Science
    2014 IEEE 44th International Symposium on Multiple-Valued Logic
  • 2014
Backtracking games for the three fundamental t-norm based logics: Lukasiewicz, Gödel, and Product logic are presented and corresponding adequateness theorems are provided.
Randomized game semantics for semi-fuzzy quantifiers
It is shown that randomized payoff in classical evaluation games leads to so-called weak Łukasiewicz logic, and the concept of randomization is extended to characterize a family of semi-fuzzy quantifiers embedded into ŁUKAsiewicz logic.
Analyzing fuzzy and contextual approaches to vagueness by semantic games
This thesis shows how t-norm based fuzzy logics can be recovered from Barker’s account by measuring contexts and examines which kind of situations can be modeled in either of these approaches making the same assumptions and precisify what exactly it means for two models ‘to make the same assumption’.
Fuzzy sets and formal logics


Giles’s Game and the Proof Theory of Łukasiewicz Logic
‘disjunctive strategies’ for Giles’s game, combining ordinary strategies for all instances of the game played on the same formula, may be interpreted as derivations in a corresponding proof system, developed in recent work on the proof theory of Łukasiewicz logic.
Dialogue Games for Many-Valued Logics — an Overview
An overview of different versions and applications of Lorenzen’s dialogue game approach to the foundations of logic, here largely restricted to the realm of manyvalued logics, is presented. Among the
Revisiting Giles's Game
  • C. Fermüller
  • Computer Science
    Games: Unifying Logic, Language, and Philosophy
  • 2009
This work explains Giles's characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion and argues that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.
Uniform Rules and Dialogue Games for Fuzzy Logics
The problem of determining the validity of atomic relational hypersequents is shown to be polynomial for each logic, allowing for Co-NP calculi and very simple initial relational hypersequence that vary only in the structural rules for the logics.
The logic of equilibrium and abelian lattice ordered groups
The system Bal is algebraizable in the sense of [5] and its equivalent algebraic semantics BAL is definitionally equivalent to the variety of abelian lattice ordered groups, that is, the categories of the algebras in BAL and of ℓ–groups are isomorphic.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
Abstract.We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at
Comparative Logics and Abelian l-Groups
Logic, Epistemology, and the Unity of Science
  • Shahid Rahman
  • Philosophy
    Logic, Epistemology, and the Unity of Science
  • 2004
This chapter discusses Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot Shahid Rahman and John Symons, and some of the contributions from Non-Classical Logics.
Proof Theory for Fuzzy Logics
This book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.
Metamathematics of Fuzzy Logic
  • P. Hájek
  • Philosophy, Computer Science
    Trends in Logic
  • 1998
This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities.