Header

UZH-Logo

Maintenance Infos

Dialogue Games in Classical Logic


Alama, Jesse; Knoks, Aleks; Uckelman, Sara L (2011). Dialogue Games in Classical Logic. In: TABLEAUX 2011: Workshops, Tutorials, and Short Papers, Technical Report IAM-11-002, Bern, 4 July 2011 - 8 July 2011, 82-86.

Abstract

We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have stated similar results without actually proving the correspondence. We modify the games used for intuitionistic logic given by Fermüller [3]. We employ standard dialogue games and a standard sequent calculus for classical logic. The result is a simple correspondence between dialogue games and classical logic.

Abstract

We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have stated similar results without actually proving the correspondence. We modify the games used for intuitionistic logic given by Fermüller [3]. We employ standard dialogue games and a standard sequent calculus for classical logic. The result is a simple correspondence between dialogue games and classical logic.

Statistics

Downloads

2 downloads since deposited on 14 Sep 2020
2 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Conference or Workshop Item (Paper), original work
Communities & Collections:06 Faculty of Arts > Institute of Philosophy
Dewey Decimal Classification:100 Philosophy
Language:English
Event End Date:8 July 2011
Deposited On:14 Sep 2020 10:43
Last Modified:14 Sep 2020 10:43
Publisher:Universität Bern
OA Status:Green
Free access at:Official URL. An embargo period may apply.
Official URL:http://www.tableaux11.unibe.ch/uploads/Site/proceedings.pdf

Download

Green Open Access

Download PDF  'Dialogue Games in Classical Logic'.
Preview
Content: Published Version
Filetype: PDF
Size: 306kB