| Authors |
|
| Publication date |
2011
|
| Host editors |
|
| Book title |
TABLEAUX 2011: Workshops, Tutorials, and Short Papers
|
| Event |
20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011)
|
| Pages (from-to) |
82-86
|
| Publisher |
Bern: Universität Bern
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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¨uller [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.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
http://www.tableaux11.unibe.ch/uploads/Site/proceedings.pdf
|
|
Permalink to this page
|