Fermüller, Christian G.; Metcalfe, George (2009). Giles's Game and the Proof Theory of Lukasiewicz Logic. Studia logica, 92(1), pp. 27-61. Dordrecht: Springer Science + Business Media 10.1007/s11225-009-9185-2
|
Text
s11225-009-9185-2.pdf - Published Version Available under License Publisher holds Copyright. Download (464kB) | Preview |
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.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Metcalfe, George |
ISSN: |
0039-3215 |
Publisher: |
Springer Science + Business Media |
Language: |
English |
Submitter: |
Factscience Import |
Date Deposited: |
04 Oct 2013 15:22 |
Last Modified: |
05 Dec 2022 14:25 |
Publisher DOI: |
10.1007/s11225-009-9185-2 |
BORIS DOI: |
10.48350/36820 |
URI: |
https://boris.unibe.ch/id/eprint/36820 (FactScience: 206230) |
Actions (login required)
 |
Edit item |