/. Los-principales-trabajos-originales-se-recogen-en-lorenzen and . Lorenz, Para una visión histórica ver Lorenz Otros trabajos se han recogido más recientemente en Lorenz Una relación detallada de nuevos desarrollos desde Rahman (1993), se puede encontrar en Keiff Para la metalógica subyacente, ver Clerbout (2014a, b) Para presentaciones en libros de texto ver: Clerbout Para estudios de la relación entre la dialógica, lógica y juegos Rahman y sus colaboradores comenzaron recientemente a estudiar el enfoque dialógico de la TCT, KeiffJovanovic, 1978.

S. En-ese and . Hintikka, está mucho más próximo a la semántica formal estándar basada en teoría de modelos, que a las teorías pragmatistas de la significación, 1996.

. Las-operaciones-booleanas-pueden-generalizarse-para-conjuntos-finitos, Una tal generalización permite incorporar operaciones conocidas en el ámbito de lógicas multi-valentes. Más aún una tal generalización permite estudiar el caso de afirmaciones que involucran proposiciones con contenido empírico y no solamente matemático (como en el presente artículo)

R. Clerbout and N. , First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, vol.127, issue.4, pp.785-801, 2014.
DOI : 10.1007/978-3-642-86718-7

N. Clerbout, La sémantique dialogique : Notions fondamentales et éléments de metathéorie, 2014.

N. Clerbout and S. Rahman, Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as CTT-Demonstrations, 2015.
DOI : 10.1007/978-3-319-19063-1

A. B. Dango, Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types, 2016.

J. Hintikka, Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973.

J. Hintikka, Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy, 1996.
DOI : 10.1007/978-94-015-8601-6

L. Keiff, Dialogical Logic The Stanford Encyclopedia of Philosophy, 2009.

L. Keiff, Le Pluralisme Dialogique. Approches dynamiques de l'argumentation formelle, 2007.

K. Lorenz, 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

K. Lorenz, Dialogischer Konstruktivismus, 2008.
DOI : 10.1515/9783110210392

K. Lorenz, Logic, Language and Method: On Polarities in Human Experience, 2010.
DOI : 10.1515/9783110216790

K. Lorenz, Philosophische Variationen: Gesammelte Aufstze unter Einschluss gemeinsam mit Jürgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz, 2010.
DOI : 10.1515/9783110218800

M. Marion, R. , and H. , Aristotle on Universal Quantification: A Study from the Perspective of Game Semantics, History and Philosophy of Logic, 2015.

P. Martin-löf, Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980.

P. Martin-löf, On the meanings of the logical constants and the justifications of the logical laws, Nordic Journal of Philosophical Logic, vol.1, pp.11-60, 1996.

B. Nordström, K. Petersson, and J. M. Smith, Programming in Martin-Löf's Type Theory: An Introduction, 1990.

J. Peregrin, Inferentialism; Why Rules Matter, 2014.

D. Prawitz, Natural Deduction, 1965.

S. Rahman, Über Dialogue, 1993.

S. Rahman and L. Keiff, La Dialectique entre Logique et Rhétorique, pp.149-178, 2010.

S. Rahman and J. Redmond, 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

S. Rahman, N. Clerbout, and R. Jovanovic, 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.

S. Rahman, N. Clerbout, and J. Redmond, Interacción e Igualdad. La interpretación dialógica de la Teoría Constructiva de Tipos, Crítica, vol.149, issue.145, pp.51-91, 2017.

A. Ranta, Propositions as games as types, Synthese, vol.42, issue.3, pp.377-395, 1988.
DOI : 10.1007/BF00869607

A. Ranta, Type-Theoretical Grammar, 1994.

J. Redmond and M. Fontaine, How to Play Dialogues: An Introduction to Dialogical Logic, 2011.

J. Redmond and S. Rahman, Armon??a Dial??gica: tonk, Teor??a Constructiva de Tipos y Reglas para Jugadores An??nimos, THEORIA. An International Journal for Theory, History and Foundations of Science, vol.31, issue.1, pp.27-53, 2016.
DOI : 10.1387/theoria.13949

G. Sundholm, 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

G. Sundholm, Inference versus Consequence The Logica Yearbook, pp.26-36, 1997.

G. Sundholm, A Century of Judgment and Inference The Development of Modern Logic, pp.1837-1936, 2009.

G. Sundholm, Inference and Consequence in an Interpreted Language " , presentación en el Workshop Proof theory and Philosophy, 2013.