N. D. Belnap, Tonk, Plonk and Plink, Analysis, vol.22, issue.6, pp.130-134, 1962.
DOI : 10.1093/analys/22.6.130

R. Brandom, Articulating Reasons, 2000.

N. Clerbout, First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, vol.127, issue.4, 2013.
DOI : 10.1007/s10992-013-9289-z

N. Clerbout, Etude sur quelques sémantiques dialogiques. Concepts fondamentaux et éléments de metathéorie, 2014.

N. Clerbout, Finiteness of plays and the dialogical problem of decidability, If-CoLog Journal of Logics and their, vol.11, pp.115-130, 2014.

N. Clerbout, M. Gorisse, and S. Rahman, Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddhar???iga???i???s Commentary on the Handbook of Logic, Journal of Philosophical Logic, vol.40, issue.5, pp.633-662, 2011.
DOI : 10.1007/s10992-010-9164-0

N. Clerbout and S. Rahman, Linking Games and Constructive Type Theory: Dialogical Strategies, CTT- Demonstrations and the Axiom of choice, 2015.

M. Dummett, Frege: Philosophy of Language, 1973.

M. Dummett, The Logical Basis of Metaphysics, 1991.

M. Dummett, Language and truth". En: M. Dummet, The Seas of Language, pp.117-65, 1993.

V. Fiutek, H. Rückert, and S. Rahman, A Dialogical Semantics for Bonanno's System of Belief Revision, Constructions, pp.315-334, 2010.

M. Fontaine, Argumentation et engagement ontologique de l'acte intentionnel. Pour une réflexion critique sur l'identité dans les logiques intentionnelles explicites, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01137248

. G. Gentzen, The Collected Papers of Gerhard Gentzen, 1969.

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1934.
DOI : 10.1007/BF01201353

J. Granström, Treatise on Intuitionistic Type Theory, 2011.
DOI : 10.1007/978-94-007-1736-7

L. Keiff, Heuristique formelle et logiques modales non-normales, Philosophia Scientae, vol.8, issue.8-2, pp.39-57, 2004.
DOI : 10.4000/philosophiascientiae.562
URL : https://hal.archives-ouvertes.fr/halshs-00275777

L. Keiff, Introduction à la dialogique modale et hybride, Philosophia Scientiae, vol.8, issue.2, pp.89-102, 2004.
URL : https://hal.archives-ouvertes.fr/halshs-00275939

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

L. Keiff, Dialogical Logic, 2009.

K. Lorenz, Basic objectives of dialogue logic in historical perspective, pp.255-263, 2001.

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

K. Lorenz, Philosophische Variationen: Gesammelte Aufsatze Unter Einschluss Gemeinsam Mit Jurgen Mittelstrass Geschriebener Arbeiten Zu Platon Und Leibniz, 2010.
DOI : 10.1515/9783110218800

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

P. Lorenzen, Einführung in die operative Logik und Mathematik, 1955.

P. Lorenzen, Logik und Agon En: Atti del XII Congresso Internazionale di Filosofia, )), pp.187-194, 1960.

P. Lorenzen and K. Lorenz, Dialogische Logik, 1978.

P. Lorenzen and O. Schwemmer, Konstruktive Logik Ethik und Wissenschaftstheorie, Mannheim: Bibliographisches Institut, 1975.
DOI : 10.1007/978-3-322-96251-5_1

S. Magnier, Approche dialogique de la dynamique épistémique et de la condition juridique, 2013.

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

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

A. Popek, Logical dialogues from Middle Ages, Logic of Knowledge, pp.223-244, 2011.

K. R. Popper, Logic without assumptions, Proceedings of the Aristotelian Society, pp.251-292, 1947.
DOI : 10.1093/aristotelian/47.1.251

K. R. Popper, I.???NEW FOUNDATIONS FOR LOGIC, Mind, vol.LVI, issue.223, pp.193-235, 1947.
DOI : 10.1093/mind/LVI.223.193

K. R. Popper and . Beth, The trivialization of mathematical logic, Proceedings of the 10 th International Congress of Philosophy, pp.722-727, 1949.

D. Prawitz, Natural Deduction. Stockholm: Almqvist & Wiksell, 1965.

D. Prawitz, Ideas and Results in Proof Theory, Proceedings of the Second Scandanavian Logic Symposium, pp.235-308, 1971.
DOI : 10.1016/S0049-237X(08)70849-8

G. Primiero, Information and Knowledge. A Constructive Type-theoretical Approach, 2008.

G. /. Primiero and . Rahman, Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Goran Sundholm, pp.301-336, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00713218

A. N. Prior, The Runabout Inference-Ticket, Analysis, vol.21, issue.2, pp.38-39, 1960.
DOI : 10.1093/analys/21.2.38

S. Rahman, Negation in the Logic of First Degree Entailment and Tonk, 2012.
DOI : 10.1007/978-94-007-1923-1_12
URL : https://hal.archives-ouvertes.fr/halshs-00713166

G. Rahman, M. Primiero, and . Marion, The RealismAntirealism Debate in the Age of Alternative Logics, pp.213-250
URL : https://hal.archives-ouvertes.fr/halshs-00649207

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Turn, Dialogische Logik, pp.91-148, 2014.
URL : https://hal.archives-ouvertes.fr/halshs-01226069

S. Rahman and L. Keiff, On How to Be a Dialogician, Logic, Thought and Action, pp.359-408, 2004.
DOI : 10.1007/1-4020-3167-X_17
URL : https://hal.archives-ouvertes.fr/halshs-00195931

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

S. Rahman, N. Clerbout, and L. Keiff, On Dialogues and Natural Deduction, 2009.
URL : https://hal.archives-ouvertes.fr/halshs-00713187

G. Primiero, Acts of Knowledge -History, pp.301-336
URL : https://hal.archives-ouvertes.fr/halshs-00713218

S. Rahman, R. Jovanovic, and N. Clerbout, Knowledge and Its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory, The Dynamics of Knowledge: From Epistemology to Sciences and Back. En preparación, 2015.
DOI : 10.1007/978-3-319-26506-3_3
URL : https://hal.archives-ouvertes.fr/halshs-01227833

S. Rahman, N. Clerbout, and Z. Mcconaughey, On Play Objects and Dialogical Games: Towards a Dialogical Approach to Constructive Type Theory, Modestly radical or radically modes . Festschrift for Jean-Paul van Bendegem, pp.127-154, 2014.
URL : https://hal.archives-ouvertes.fr/halshs-01226070

S. Rahman, G. Primiero, and M. Marion, The Realism-Antirealism Debate in the Age of Alternative Logics, 2012.
DOI : 10.1007/978-94-007-1923-1
URL : https://hal.archives-ouvertes.fr/halshs-00649207

S. Rahman and H. Rückert, New Perspectives in Dialogical Logic, Synthese, 2001.
URL : https://hal.archives-ouvertes.fr/halshs-01226033

S. Rahman and H. Rückert, Eine neue dialogische Semantik für lineare Logik, En: Rückert, 2011.

S. Rahman and T. Tulenheimo, From Games to Dialogues and Back, Games: Unifying Logic, Language and Philosophy, pp.153-208, 2009.
DOI : 10.1007/978-1-4020-9374-6_8
URL : https://hal.archives-ouvertes.fr/halshs-00713228

A. Ranta, Propositions as games as types, Synthese 76, pp.377-395, 1988.
DOI : 10.1007/BF00869607

A. Ranta, Type-Theoretical Grammar, 1994.

S. Read, Harmony and Autonomy in Classical Logic, Journal of Philosophical Logic, vol.78, issue.2, pp.123-154, 2000.
DOI : 10.1023/A:1004787622057

S. Read, Harmony and Modality, Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, CP: London, pp.285-304, 2008.

J. Redmond, Logique dynamique de la fiction. Pour une approche dialogique, 2010.

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

H. Rückert, Why Dialogical Logic?, Essays on Non-Classical Logic, pp.165-185, 2001.
DOI : 10.1142/9789812799746_0007

H. Rückert, Dialogues as a dynamic framework for logic, 2011.

P. Schroeder-heister, Popper's theory of deductive inference and the concept of a logical constant, History and Philosophy of Logic, vol.22, issue.1, pp.79-110, 1984.
DOI : 10.1080/01445348408837064

P. Schroeder-heister, Popper's structuralist theory of logic, 2005.

. Popper, A Centenary Assessment, pp.1-21, 2005.

P. Schröder-heister, Lorenzen???s operative justification of intuitionistic logic, One Hundred Years of Intuitionism Basel: Birkhäuser, pp.214-240, 1907.
DOI : 10.1007/978-3-7643-8653-5_14

G. Sundholm, Constructions, proofs and the meaning of logical constants, Journal of Philosophical Logic, vol.12, issue.2, pp.151-172, 1983.
DOI : 10.1007/BF00247187

G. Sundholm, Systems of deduction, Handbook of Philosophical Logic: Reidel, pp.133-188, 1983.

G. Sundholm, Proof-Theory and Meaning, Handbook of Philosophical Logic, pp.471-506, 1986.

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, Filosofia, pp.26-36, 1997.

G. Sundholm, Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz*, Theoria, vol.12, issue.2-3, pp.2-3, 1998.
DOI : 10.1111/j.1755-2567.1998.tb00187.x

G. Sundholm, A Plea for Logical Atavism The Logica Yearbook, Filosofia, pp.151-162, 2000.

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

G. Sundholm, Containment and Variation; Two Strands in the Development of Analyticity from Aristotle to Martin-Löf, En: M. van der Schaar Judgement and the Epistemic Foundation of Logic, pp.23-35, 2013.