Studia Logica 92 (1):27 - 61 (2009)

In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the truth of atomic statements, and showed that the existence of winning strategies for the game corresponds to the validity of formulas in Łukasiewicz logic. In this paper, it is shown that ‘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. In particular, such strategies mirror derivations in a hypersequent calculus developed in recent work on the proof theory of Łukasiewicz logic.
Keywords dialogue games  Łukasiewicz logic  many-valued logics  hypersequents
Categories (categorize this paper)
DOI 10.1007/s11225-009-9185-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
Through your library

References found in this work BETA

A Constructive Analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.
Logik und Agon.Paul Lorenzen - 1960 - Atti Del XII Congresso Internazionale di Filosofia 4:187-194.
A Non-Classical Logic for Physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.

View all 13 references / Add more references

Citations of this work BETA

Randomized Game Semantics for Semi-Fuzzy Quantifiers.C. G. Fermuller & C. Roschger - 2014 - Logic Journal of the IGPL 22 (3):413-439.
Game-Theoretic Semantics for Non-Distributive Logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.

Add more citations

Similar books and articles


Added to PP index

Total views
41 ( #235,630 of 2,348,350 )

Recent downloads (6 months)
2 ( #329,213 of 2,348,350 )

How can I increase my downloads?


My notes