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

@article{Fermller2014FromGT, title={From Games to Truth Functions: A Generalization of Giles’s Game}, author={Christian G. Ferm{\"u}ller and Christoph Roschger}, journal={Studia Logica}, year={2014}, volume={102}, pages={389-410} }

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…

## 6 Citations

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

- Philosophy
- 2013

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

- Computer Science, PhilosophyFoIKS
- 2014

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

- Computer Science2014 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

- Computer ScienceLog. J. IGPL
- 2012

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

- Computer Science, Philosophy
- 2014

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’.

## References

SHOWING 1-10 OF 21 REFERENCES

Giles’s Game and the Proof Theory of Łukasiewicz Logic

- PhilosophyStud Logica
- 2009

‘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

- PhilosophyStud Logica
- 2008

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

- Computer ScienceGames: 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

- Computer ScienceLPAR
- 2004

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

- MathematicsArch. Math. Log.
- 2004

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

- MathematicsLogica Universalis
- 2008

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…

Logic, Epistemology, and the Unity of Science

- PhilosophyLogic, 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

- Computer Science
- 2008

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

- Philosophy, Computer ScienceTrends 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.