Dialogues, strategies, and intuitionistic provability

Annals of Pure and Applied Logic 28 (3):217-254 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Four Views of Arithmetical Truth.Charles Sayward - 1990 - Philosophical Quarterly 40 (159):155-168.

Analytics

Added to PP
2013-10-30

Downloads
14 (#724,932)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
Dialogical Logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 3--26.

View all 17 citations / Add more citations

References found in this work

Logik und Agon.Paul Lorenzen - 1960 - Atti Del XII Congresso Internazionale di Filosofia 4:187-194.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (3-4):73-100.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (1-2):32-55.

Add more references