Articulating Reasons: An Introduction to Inferentialism, 2000. ,
First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, vol.127, issue.4, pp.785-801, 2014. ,
DOI : 10.1007/s10992-013-9289-z
La sémantique dialogique: Notions fondamentales et éléments de metathéorie, 2014. ,
On Dialogues, Predication and Elementary Sentences, pp.7-46, 2013. ,
URL : https://hal.archives-ouvertes.fr/halshs-01225767
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as CTT-Demonstrations, 2015. ,
DOI : 10.1007/978-3-319-19063-1
Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types, 2015. ,
Frege: Philosophy of Language, 1973. ,
The Logical Basis of Metaphysics, 1991. ,
Language and truth " . En The Seas of Language, 1993. ,
A Dialogical, Multi-Agent Account of the Normativity of Logic, Dialectica, vol.50, issue.3, pp.587-609, 2015. ,
DOI : 10.1111/1746-8361.12118
Dialogues as a foundation for intuitionistic logic, Handbook of Philosophical Logic, pp.341-372, 1985. ,
Review of Jean E. Rubin 'Mathematical logic: applications and theory, The Journal of Symbolic Logic 59, pp.670-671, 1994. ,
Argumentation et engagement ontologique. Être, c'est être choisi, 2013. ,
URL : https://hal.archives-ouvertes.fr/tel-01137248
Treatise on Intuitionistic Type Theory, 2011. ,
DOI : 10.1007/978-94-007-1736-7
Ciencia de la Lógica, Wissenschaft der Logik, 2013. ,
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973. ,
Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth- Century Philosophy, 1996. ,
DOI : 10.1007/978-94-015-8601-6
Hintikka's Take on the Axiom of Choice and the Constructivist Challenge, Revista de Humanidades de Valparaiso, pp.135-152, 2013. ,
Le Pluralisme Dialogique: Approches dynamiques de largumentation formelle, 2007. ,
Dialogical Logic The Stanford Encyclopedia of Philosophy, URL http, 2009. ,
Elemente der Sprachkritik.Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie, 1970. ,
Basic objectives of dialogue logic in historical perspective New Perspectives in Dialogical Logic, Synthese, vol.127, issue.1/2, pp.255-263, 2001. ,
DOI : 10.1023/A:1010367416884
Logic, Language and Method: On Polarities in Human Experience, 2010. ,
DOI : 10.1515/9783110216790
Philosophische Variationen: Gesammelte Aufstze unter Einschluss gemeinsam mit J¨urgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz, 2010. ,
DOI : 10.1515/9783110218800
Dialogische Logik, 1978. ,
Konstruktive Logik, Ethik und Wissenschaftstheorie, Mannheim: Bibliographisches Institut, 1975. ,
Aristotle on Universal Quantification: A Study form the Perspective of Game Semantics " . History and Philosophy of Logic, 2015. ,
Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980. ,
Programming in Martin-Löf's Type Theory: An Introduction, 1990. ,
Truth and Proof in, Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, pp.45-68, 2012. ,
Constructive modalities for information " . Presentación en el evento Young Researchers Days in Logic, Philosophy and History of Science, pp.1-2, 2008. ,
A contextual type theory with judgmental modalities for reasoning from open assumptions, pp.579-600, 2012. ,
Über Dialogue, Protologische Kategorien und andere Seltenheiten, 1993. ,
Negation in the Logic of First Degree Entailment and Tonk, pp.213-250, 2012. ,
DOI : 10.1007/978-94-007-1923-1_12
From Dialogue To Dialogue: Conversations and the Dialogical Approach to Meaning, 2014. ,
On Hypothetical Judgements and Leibniz???s Notion of Conditional Right, 2015. ,
DOI : 10.1007/978-3-319-16021-4_7
Constructive Type Theory and the Dialogical Approach to Meaning " . The Baltic International Yearbook of Cognition, Logic and Communication:Games, Game Theory and Game Semantics, pp.1-72, 2013. ,
URL : https://hal.archives-ouvertes.fr/halshs-01225723
Constructive Type Theory and the Dialogical Turn, Dialogische Logik. Münster: Mentis, pp.91-148, 2014. ,
URL : https://hal.archives-ouvertes.fr/halshs-01226069
The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice, South American Journal of Logic, vol.1, issue.1, pp.179-208, 2015. ,
On Dialogues and Natural Deduction Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm, pp.301-336, 2009. ,
On play-objects in dialogical games. Towards a Dialogical approach to Constructive Type Theory, Modestly radical or radically modest. Festschrift for Jean-Paul van Bendegem, pp.127-154, 2014. ,
On How to Be a Dialogician, Logic, Thought, and Action. Dordrecht: Kluwer, pp.359-408, 2005. ,
DOI : 10.1007/1-4020-3167-X_17
URL : https://hal.archives-ouvertes.fr/halshs-00195931
La Dialectique entre Logique et Rhétorique, pp.149-178, 2010. ,
A Dialogical Frame for Fictions as Hypothetical Objects, Filosofía Unisinos, vol.16, issue.1, pp.2-21, 2015. ,
URL : https://hal.archives-ouvertes.fr/halshs-01216227
Propositions as games as types, Synthese 76, pp.377-395, 1988. ,
DOI : 10.1007/BF00869607
Constructing possible worlds*, Theoria, vol.15, issue.1-2, pp.77-99, 1991. ,
DOI : 10.1111/j.1755-2567.1991.tb00541.x
Type-Theoretical Grammar, 1994. ,
General-Elimination Harmony and the Meaning of the Logical Constants, Journal of Philosophical Logic, vol.14, issue.5, pp.557-576, 2010. ,
DOI : 10.1007/s10992-010-9133-7
The Whetstone of Witte, 1557. ,
Logique dynamique de la fiction: Pour une approche dialogique, 2010. ,
How to Play Dialogues: An Introduction to Dialogical Logic, 2011. ,
Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos, Theoria, vol.31, issue.1, pp.27-53, 2016. ,
Constructions, proofs and the meaning of logical constants, Journal of Philosophical Logic, vol.12, issue.2, pp.151-172, 1983. ,
DOI : 10.1007/BF00247187
Proof-theory and meaning, Handbook of Philosophical Logic Dordrecht: Reidel, pp.471-506, 1986. ,
Implicit epistemic aspects of constructive logic, Journal of Logic, Language and Information, vol.6, issue.2, pp.191-212, 1997. ,
DOI : 10.1023/A:1008266418092
Inference versus Consequence The Logica Yearbook, Filosofia, pp.26-36, 1997. ,
A Plea for Logical Atavism The Logica Yearbook, Filosofia, pp.151-162, 2000. ,
A Century of Judgment and Inference The Development of Modern Logic, pp.1837-1936, 2009. ,
Inference and Consequence in an Interpreted Language, Presentación en el Workshop Proof theory and Philosophy, 2013. ,
Independence Friendly Language is First Order after all, 2016. ,
Type Theory and Functional Programming, 1991. ,
Tractatus Logico-Philosophi, 1922. ,