Réfutations Sophistiques, traduction Louis-André Dorion, 2002. ,
Articulating Reasons, 2000. ,
Introduction à sa traduction des Topiques d'Aristote, 1938. ,
Logische Syntax der Sprache, 1934 (traduction anglaise The Logical Syntax of Language, Humanities, 1937. ,
Logical models of argument, ACM Computing Surveys, vol.32, issue.4, pp.337-383, 2000. ,
DOI : 10.1145/371578.371581
« The programme of Aristotelian analytics », dans Logics, Dialogues and other Strange Things, Essays in honor of Shahid Rahman, coll. Tributes, College Publications, 2008. ,
« Theoretical foundations for nonmonotonic reasoning in expert systems » dans Logics and Models of Concurrent Systems, 1985. ,
Towards a geometry of interaction », dans Categories in Computer Science and Logic, AMS Proceedings of Symposia in Pure Mathematics, pp.69-108, 1989. ,
On the Meaning of logical rules I: syntax vs, 1999. ,
Logic and conversation » dans Syntax and semantics, 1975. ,
File Change Semantics and the Familiarity Theory of Definiteness, Use and Interpretation Repris dans Formal Semantics: the Essential Readings, 1993. ,
Jaakko : « The fallacy of fallacies, pp.211-238, 1987. ,
The Principles of, Mathematics Revisited, 1996. ,
What Was Aristotle Doing in His Early Logic, Anyway? A Reply to Woods and Hansen, Synthese, pp.241-249, 1997. ,
DOI : 10.1007/1-4020-2041-4_11
A theory of Truth and Semantic Representation », dans Formal Methods in the Study of Language, éds.) Mathematical Center Tract, vol.135, pp.277-322, 1981. ,
Bridges from Classical to Nonmonotonic Logic, 2005. ,
Per : « On the Meaning of Logical Constant and the Justifications of the Logical Laws, Nordic Journal of Philosophical Logic, vol.1, issue.1, pp.11-60, 1996. ,
Handbook of Philosophical Logic, seconde édition, pp.219-318, 2002. ,
Coherence and Flexibility in Dialogue Games for Argumentation, Journal of Logic and Computation, vol.15, issue.6, pp.1009-1040, 2005. ,
DOI : 10.1093/logcom/exi046
Protologische Categorien und andere Seltenheiten, 1993. ,
The Beetle in the Box: Exploring IF-Dialogues », dans Truth and Games, Essays in Honour of Gabriel Sandu Societas Philosophica Fennica, 2006. ,
On how to be a dialogician », dans Logic, Thought and Action, D. Vanderveken (éd, pp.359-409, 2005. ,
Tero: « From Games to Dialogues and Back: Towards a General Frame for Validity » dans Logic and Games: A Foundational Perspective, Ondrej Majer, Ahti-Veikko Pietarinen and Tero Tulenheimo, 1938. ,
A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980. ,
DOI : 10.1016/0004-3702(80)90014-4
Empiricism and the Philosophy of Mind », dans The Foundations of Science and the Concepts of Psychoanalysis, Minnesota Studies in the Philosophy of Science, 1956. ,
Begründung der elmentaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich », 1923, traduction anglaise dans From Frege to Gödel, 1967. ,
First-Order Logic, 1995. ,
DOI : 10.1201/b10689-23
Recherches philosophiques, trad. de Françoise Dastur et al. NRF- Gallimard, 2005. ,
Paradox and Paraconsistency, 2003. ,
DOI : 10.1017/CBO9780511614002