Navigation auf zora.uzh.ch

Search ZORA

ZORA (Zurich Open Repository and Archive)

Migration von ZORA auf die Software DSpace

ZORA will change to a new software on 8th September 2025. Please note: deadline for new submissions is 21th July 2025!

Information & dates for training courses can be found here: Information on Software Migration.

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. Universität Bern, 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.

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:11 Dec 2020 22:19
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 PDF  'Dialogue Games in Classical Logic'.
Preview
  • Content: Published Version

Metadata Export

Statistics

Downloads

53 downloads since deposited on 14 Sep 2020
7 downloads since 12 months
Detailed statistics

Authors, Affiliations, Collaborations

Similar Publications