<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>0011-1503</journal-id>
<journal-title><![CDATA[Crítica (México, D.F.)]]></journal-title>
<abbrev-journal-title><![CDATA[Crítica (Méx., D.F.)]]></abbrev-journal-title>
<issn>0011-1503</issn>
<publisher>
<publisher-name><![CDATA[Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S0011-15032017000100051</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[Shahid]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[Nicolas]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Redmond]]></surname>
<given-names><![CDATA[Juan]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Université de Lille  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>France</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad de Valparaíso Instituto de Filosofía ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Chile</country>
</aff>
<aff id="Af3">
<institution><![CDATA[,Universidad de Valparaíso Instituto de Filosofía ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Chile</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>00</month>
<year>2017</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>00</month>
<year>2017</year>
</pub-date>
<volume>49</volume>
<numero>145</numero>
<fpage>51</fpage>
<lpage>91</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S0011-15032017000100051&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S0011-15032017000100051&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S0011-15032017000100051&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Mediante un estudio dialógico de la noción de igualdad definicional de la teoría constructiva de tipos (TCT), se mostrará que tal igualdad, que en la TCT provee el criterio de identidad asociado a un tipo, puede comprenderse, desde el punto de vista lúdico, como resultado de una forma específica de interacción dialógica regida por la regla formal, más conocida recientemente como la regla socrática, que prescribe el uso de jugadas de espejo (copy-cat moves). Esto se ilustrará con el desarrollo dialógico de las partes esenciales de la demostración del axioma de elección de Per Martin-Löf, quien basó su prueba en la igualdad definicional entre la función que prueba el antecedente y la función que ocurre en el consecuente.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or (more recently) Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as an example, how to develop the core of a winning strategy for Per Martin-Löf&#8217;s demonstration of the Axiom of Choice, who based his proof in the judgemental equality between the function in the antecedent and the function occurring in the consequent of the axiom.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[identidad]]></kwd>
<kwd lng="es"><![CDATA[teoría de juegos]]></kwd>
<kwd lng="es"><![CDATA[regla socrática]]></kwd>
<kwd lng="es"><![CDATA[jugada de espejo]]></kwd>
<kwd lng="es"><![CDATA[interlocutor implícito]]></kwd>
<kwd lng="en"><![CDATA[identity]]></kwd>
<kwd lng="en"><![CDATA[game theory]]></kwd>
<kwd lng="en"><![CDATA[Socratic rule]]></kwd>
<kwd lng="en"><![CDATA[copy-cat moves]]></kwd>
<kwd lng="en"><![CDATA[implicit inter locator]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[First-Order Dialogical Games and Tableaux]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>2014</year>
<volume>43</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>785-801</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<source><![CDATA[La Sémantique dialogique: Notions fondamentales et éléments de metathéorie]]></source>
<year>2014</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as TCT-Demonstrations]]></source>
<year>2015</year>
<publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On Dialogues, Predication and Elementary Sentences]]></article-title>
<source><![CDATA[Revista de Humanidades de Valparaíso]]></source>
<year>2013</year>
<volume>1</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>7-46</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Granström]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Treatise on Intuitionistic Type Theory]]></source>
<year>2011</year>
<publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dialogical Logic]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Zalta]]></surname>
<given-names><![CDATA[E.N.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Stanford Encyclopedia of Philosophy]]></source>
<year>2009</year>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Le pluralisme dialogique. Approches dynamiques de l&#8217;argumentation formelle]]></source>
<year>2007</year>
<publisher-loc><![CDATA[Lille ]]></publisher-loc>
<publisher-name><![CDATA[Universidad de Lille]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lorenz]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, Language and Method: On Polarities in Human Experience]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lorenz]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophische Variationen: Gesammelte Aufsätze unter Einschluss gemeinsam mit Jürgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lorenz]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dialogischer Konstruktivismus]]></source>
<year>2008</year>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lorenz]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Basic Objectives of Dialogue Logic in Historical Perspective]]></article-title>
<source><![CDATA[Synthese]]></source>
<year>2001</year>
<volume>127</volume>
<numero>1-2</numero>
<issue>1-2</issue>
<page-range>255-63</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lorenzen]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Lorenz]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dialogische Logik]]></source>
<year>1978</year>
<publisher-loc><![CDATA[Darmstadt ]]></publisher-loc>
<publisher-name><![CDATA[Wissenschaftliche Buchgesellschaft]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Marion]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Rückert]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Aristotle on Universal Quantification: A Study from the Perspective of Game Semantics]]></article-title>
<source><![CDATA[History and Philosophy of Logic]]></source>
<year>2015</year>
<volume>37</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>201-29</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Martin-Löf]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Meanings of the Logical Constants and the Justifications of the Logical Laws]]></article-title>
<source><![CDATA[Nordic Journal of Philosophical Logic]]></source>
<year>1996</year>
<volume>1</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>11-60</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Martin-Löf]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980]]></source>
<year>1984</year>
<publisher-loc><![CDATA[Nápoles ]]></publisher-loc>
<publisher-name><![CDATA[Bibliopolis]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nordström]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Petersson]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Smith]]></surname>
<given-names><![CDATA[J.M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Programming in Martin- Löf&#8217;s Type Theory: An Introduction]]></source>
<year>1990</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Peregrin]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Inferentialism: Why Rules Matter]]></source>
<year>2014</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Palgrave MacMillan]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Prawitz]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Natural Deduction: A Proof-Theoretical Study]]></source>
<year>1965</year>
<publisher-loc><![CDATA[Estocolmo ]]></publisher-loc>
<publisher-name><![CDATA[Almqvist and Wiksell]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Negation in the Logic of First Degree Entailment and Tonk: A Dialogical Study]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Primiero]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Marion]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Realism-Antirealism Debate in the Age of Alternative Logics]]></source>
<year>2012</year>
<page-range>213-50</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Über Dialogue, Protologische Kategorien und andere Seltenheiten]]></source>
<year>1993</year>
<publisher-loc><![CDATA[Fráncfort ]]></publisher-loc>
<publisher-name><![CDATA[Peter Lang]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Constructive Type Theory and the Dialogical Turn - A New Approach to Erlangen Constructivism]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Mittelstrass]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Bülow]]></surname>
<given-names><![CDATA[C. von]]></given-names>
</name>
</person-group>
<source><![CDATA[Dialogische Logik]]></source>
<year>2014</year>
<page-range>91-148</page-range><publisher-loc><![CDATA[Münster ]]></publisher-loc>
<publisher-name><![CDATA[Mentis]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Constructive Type Theory and the Dialogical Approach to Meaning]]></article-title>
<source><![CDATA[The Baltic International Yearbook of Cognition, Logic and Communication, vol. 8, Games, Game Theory and Game Semantics]]></source>
<year>2013</year>
<page-range>1-72</page-range></nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Jovanovic]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Knowledge and Its Game Theoretical Foundations: The Challenge of the Dialogical Approach to Constructive Type Theory]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Redmond]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Pombo]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Nepomuceno]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Epistemology, Knowledge and the Impact of Interaction]]></source>
<year>2016</year>
<page-range>23-73</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Dialogical Take on Martin-Löf&#8217;s Proof of the Axiom of Choice]]></article-title>
<source><![CDATA[South American Journal of Logic]]></source>
<year>2015</year>
<volume>1</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>179-208</page-range></nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On Dialogues and Natural Deduction]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Primiero]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm]]></source>
<year>2009</year>
<page-range>301-36</page-range><publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Clerbout]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[McConaughey]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On Play-Objects in Dialogical Games. Towards a Dialogical Approach to Constructive Type Theory]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Allo]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Kerkhove]]></surname>
<given-names><![CDATA[B. van]]></given-names>
</name>
</person-group>
<source><![CDATA[Modestly Radical or Radically Modest. Festschrift for Jean-Paul van Bendegem]]></source>
<year>2014</year>
<page-range>127-54</page-range><publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[La Dialectique entre Logique et Rhétorique]]></article-title>
<source><![CDATA[Revue de Métaphysique et de Morale]]></source>
<year>2010</year>
<volume>66</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>149-78</page-range></nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On How to Be a Dialogician]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Vanderveken]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, Thought, and Action]]></source>
<year>2005</year>
<page-range>359-408</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Kluwer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B29">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[McConaughey]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Crubellier]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Aristotelian Syllogism as Dialogical Games]]></source>
<year>2016</year>
</nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Redmond]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Armonía dialógica: tonk, teoría constructiva de tipos y reglas para jugadores anónimos]]></article-title>
<source><![CDATA[Theoria]]></source>
<year>2016</year>
<volume>31</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>27-53</page-range></nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Dialogical Frame for Fictions as Hypothetical Objects]]></article-title>
<source><![CDATA[Filosofía Unisinos]]></source>
<year>2015</year>
<volume>16</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>2-21</page-range></nlm-citation>
</ref>
<ref id="B32">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahman]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Tulenheimo]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[From Games to Dialogues and Back: Towards a General Frame for Validity]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Majer]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Pietarinen]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Tulenheimo]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Games: Unifying Logic, Language and Philosophy]]></source>
<year>2009</year>
<page-range>153-208</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B33">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ranta]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Type-Theoretical Grammar]]></source>
<year>1994</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B34">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ranta]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Propositions as Games as Types]]></article-title>
<source><![CDATA[Synthese]]></source>
<year>1988</year>
<volume>76</volume>
<page-range>377-95</page-range></nlm-citation>
</ref>
<ref id="B35">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Redmond]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Fontaine]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dialogues: An Introduction to Dialogical Logic]]></source>
<year>2011</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B36">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rückert]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dialogues as a Dynamic Framework for Logic]]></source>
<year>2011</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B37">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Inference and Consequence in an Interpreted Language]]></article-title>
<source><![CDATA[Workshop Proof Theory and Philosophy]]></source>
<year>2013</year>
<publisher-loc><![CDATA[Gröningen ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B38">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Century of Judgment and Inference: 1837-1936]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Haaparanta]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Development of Modern Logic]]></source>
<year>2009</year>
<page-range>263-317</page-range><publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B39">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Plea for Logical Atavism]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Majer]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logica Yearbook 2000]]></source>
<year>2001</year>
<page-range>151-62</page-range><publisher-loc><![CDATA[Praga ]]></publisher-loc>
<publisher-name><![CDATA[Filosofia]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B40">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Inference versus Consequence]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Childers]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logica Yearbook 1997]]></source>
<year>1998</year>
<page-range>26-36</page-range><publisher-loc><![CDATA[Praga ]]></publisher-loc>
<publisher-name><![CDATA[Filosofia]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B41">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Implicit Epistemic Aspects of Constructive Logic]]></article-title>
<source><![CDATA[Journal of Logic, Language, and Information]]></source>
<year>1997</year>
<volume>6</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>191-212</page-range></nlm-citation>
</ref>
<ref id="B42">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Proof-Theory and Meaning]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Guenthner]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Philosophical Logic]]></source>
<year>1986</year>
<volume>3</volume>
<page-range>471-506</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Reidel]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B43">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sundholm]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Constructions, Proofs, and the Meaning of Logical Constants]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>1983</year>
<volume>12</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>151-72</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
