<?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>1665-1324</journal-id>
<journal-title><![CDATA[Signos filosóficos]]></journal-title>
<abbrev-journal-title><![CDATA[Sig. Fil]]></abbrev-journal-title>
<issn>1665-1324</issn>
<publisher>
<publisher-name><![CDATA[Universidad Autónoma Metropolitana, División de Ciencias Sociales y Humanidades]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1665-13242023000200120</article-id>
<article-id pub-id-type="doi">10.24275/sfilo.v25n50.07</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Sobre un método arborescente para una lógica sintética de términos]]></article-title>
<article-title xml:lang="en"><![CDATA[On a tableaux method for a synthetic term logic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Popular Autónoma del Estado de Puebla Facultad de Filosofía ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<volume>25</volume>
<numero>50</numero>
<fpage>120</fpage>
<lpage>154</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1665-13242023000200120&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1665-13242023000200120&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1665-13242023000200120&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen: La combinación de lógicas se suele llevar a cabo entre sistemas fregeanos-tarskianos-kripkeanos, pero como la lógica no necesita estar restringida a esta visión heredada, en este trabajo reproducimos una lógica sintética de términos al estilo de Sommers, junto con un método de prueba arborescente y mostramos algunas de sus propiedades meta- teóricas. En particular, mostramos que las lógicas que sintetizamos se pueden combinar adecuadamente y que el método arborescente sintético preserva las propiedades de los métodos arborescentes de cada lógica de base.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: Combining logics is usually done with respect to Fregean-Tarskian-Kripkean systems, but since logic does not need to be restricted to this received view of logic, in this work we reproduce a synthetic logic of terms à la Sommers together with a tableaux proof method, and we show some of its metatheoretical properties. In particular, we show that the logics we synthetize can be properly combined and that the synthetic tableaux method preserves the properties of the tableaux methods of each basic logic.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[lógica de términos]]></kwd>
<kwd lng="es"><![CDATA[árboles analíticos]]></kwd>
<kwd lng="es"><![CDATA[combinación de lógicas]]></kwd>
<kwd lng="es"><![CDATA[metalógica]]></kwd>
<kwd lng="en"><![CDATA[term logic]]></kwd>
<kwd lng="en"><![CDATA[analytic tableaux]]></kwd>
<kwd lng="en"><![CDATA[combination of logics]]></kwd>
<kwd lng="en"><![CDATA[metalogic]]></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[Blackburn]]></surname>
<given-names><![CDATA[Patrick]]></given-names>
</name>
<name>
<surname><![CDATA[Rijke]]></surname>
<given-names><![CDATA[Marten de]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Why combine logics?]]></article-title>
<source><![CDATA[Studia Logica: An International Journal for Symbolic Logic]]></source>
<year>1997</year>
<volume>59</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>5-27</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Carnap]]></surname>
<given-names><![CDATA[Rudolf]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Die alte und die neue Logik]]></article-title>
<source><![CDATA[Erkenntnis]]></source>
<year>1930</year>
<volume>1</volume>
<page-range>12-26</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Interpolation in Term Functor Logic]]></article-title>
<source><![CDATA[Crítica. Revista Hispanoamericana de Filosofía]]></source>
<year>2023</year>
<volume>55</volume>
<numero>165</numero>
<issue>165</issue>
<page-range>53-69</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Una jerarquía de lógicas terministas]]></article-title>
<source><![CDATA[Stoa. Revista de Filosofía]]></source>
<year>2023</year>
<volume>13</volume>
<numero>25</numero>
<issue>25</issue>
<page-range>78-106</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Mixing colors, mixing logics]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Giardino]]></surname>
<given-names><![CDATA[Valeria]]></given-names>
</name>
<name>
<surname><![CDATA[Linker]]></surname>
<given-names><![CDATA[Sven]]></given-names>
</name>
<name>
<surname><![CDATA[Burns]]></surname>
<given-names><![CDATA[Richard]]></given-names>
</name>
<name>
<surname><![CDATA[Bellucci]]></surname>
<given-names><![CDATA[Francesco]]></given-names>
</name>
<name>
<surname><![CDATA[Boucheix]]></surname>
<given-names><![CDATA[Jean-Michel]]></given-names>
</name>
<name>
<surname><![CDATA[Viana]]></surname>
<given-names><![CDATA[Petrucio]]></given-names>
</name>
</person-group>
<source><![CDATA[Diagrammatic Representation and Inference. Diagrams 2022]]></source>
<year>2022</year>
<page-range>70-7</page-range><publisher-loc><![CDATA[Roma ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Lógica tradicional para razonamiento no tradicional]]></article-title>
<source><![CDATA[Research in Computing Science]]></source>
<year>2022</year>
<volume>151</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>115-27</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Toward relevance term logic]]></article-title>
<source><![CDATA[Computación y Sistemas]]></source>
<year>2022</year>
<volume>26</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>761-8</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Traditional Logic and Computational Thinking]]></article-title>
<source><![CDATA[Philosophies]]></source>
<year>2021</year>
<volume>6</volume>
<numero>1</numero>
<issue>1</issue>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Murphree&#8217;s Numerical Term Logic Tableaux]]></article-title>
<source><![CDATA[Electronic Notes in Theoretical Computer Science]]></source>
<year>2020</year>
<volume>354</volume>
<page-range>17-28</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Un método de árboles para la lógica de términos modal]]></article-title>
<source><![CDATA[Open Insight]]></source>
<year>2020</year>
<volume>12</volume>
<numero>23</numero>
<issue>23</issue>
<page-range>165-80</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distribution Tableaux, Distribution Models]]></article-title>
<source><![CDATA[Axioms]]></source>
<year>2020</year>
<volume>9</volume>
<numero>41</numero>
<issue>41</issue>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Tableaux Method for Term Logic]]></article-title>
<source><![CDATA[Proceedings of the Latinamerican Workshop on New Methods of Reasoning 2018]]></source>
<year>2018</year>
<volume>2264</volume>
<page-range>1-14</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Correia]]></surname>
<given-names><![CDATA[Manuel]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[La lógica aristotélica y sus perspectivas]]></article-title>
<source><![CDATA[Pensamiento]]></source>
<year>2017</year>
<volume>73</volume>
<numero>275</numero>
<issue>275</issue>
<page-range>5-19</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Bare Facts and Naked Truths: A New Correspondence Theory of Truth]]></source>
<year>2017</year>
<publisher-loc><![CDATA[Aldershot ]]></publisher-loc>
<publisher-name><![CDATA[Taylor &amp; Francis]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Robust Reality: An Essay in Formal Ontology]]></source>
<year>2013</year>
<publisher-loc><![CDATA[Fráncfort ]]></publisher-loc>
<publisher-name><![CDATA[Walter De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Something to Reckon with: The Logic of Terms]]></source>
<year>1996</year>
<publisher-loc><![CDATA[Ottawa ]]></publisher-loc>
<publisher-name><![CDATA[University of Ottawa Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Preliminary notes on a new modal syllogistic]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1988</year>
<volume>29</volume>
<numero>23</numero>
<issue>23</issue>
<page-range>381-95</page-range></nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[Dov M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Fibring Logics]]></source>
<year>1998</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gabriel]]></surname>
<given-names><![CDATA[Markus]]></given-names>
</name>
</person-group>
<source><![CDATA[Why the World Does Not Exist]]></source>
<year>2015</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[John Wiley &amp; Sons]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Geach]]></surname>
<given-names><![CDATA[Peter Thomas]]></given-names>
</name>
</person-group>
<source><![CDATA[Reference and Generality: An Examination of Some Medieval and Modern Theories]]></source>
<year>1962</year>
<publisher-loc><![CDATA[Ithaca ]]></publisher-loc>
<publisher-name><![CDATA[Cornell University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Goguen]]></surname>
<given-names><![CDATA[Joseph A.]]></given-names>
</name>
<name>
<surname><![CDATA[Burstall]]></surname>
<given-names><![CDATA[Rod M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Introducing institutions]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Clarke]]></surname>
<given-names><![CDATA[Edmund M.]]></given-names>
</name>
<name>
<surname><![CDATA[Kozen]]></surname>
<given-names><![CDATA[Dexter]]></given-names>
</name>
</person-group>
<source><![CDATA[Logics of Programs]]></source>
<year>1984</year>
<page-range>221-56</page-range><publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kreeft]]></surname>
<given-names><![CDATA[Peter]]></given-names>
</name>
<name>
<surname><![CDATA[Dougherty]]></surname>
<given-names><![CDATA[Trent]]></given-names>
</name>
</person-group>
<source><![CDATA[Socratic Logic: A Logic Text Using Socratic Method, Platonic Questions &amp; Aristotelian Principles]]></source>
<year>2004</year>
<publisher-loc><![CDATA[South Bend-Indiana ]]></publisher-loc>
<publisher-name><![CDATA[St. Augustine&#8217;s Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[James Wilkinson]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Negative terms in traditional logic: Distribution, immediate inference, and syllogism]]></article-title>
<source><![CDATA[The Monist]]></source>
<year>1932</year>
<volume>42</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>96-111</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Moss]]></surname>
<given-names><![CDATA[Lawrence]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Natural logic]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Lappin]]></surname>
<given-names><![CDATA[Shalom]]></given-names>
</name>
<name>
<surname><![CDATA[Fox]]></surname>
<given-names><![CDATA[Chris]]></given-names>
</name>
</person-group>
<source><![CDATA[The Handbook of Contemporary Semantic Theory]]></source>
<year>2015</year>
<page-range>561-92</page-range><publisher-loc><![CDATA[Hoboken ]]></publisher-loc>
<publisher-name><![CDATA[John Wiley &amp; Sons]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murphree]]></surname>
<given-names><![CDATA[Wallace]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Numerical term logic]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1998</year>
<volume>39</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>346-62</page-range></nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Priest]]></surname>
<given-names><![CDATA[Graham]]></given-names>
</name>
</person-group>
<source><![CDATA[Towards Non-Being: The Logic and Metaphysics of Intentionality]]></source>
<year>2005</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[Bertrand]]></given-names>
</name>
</person-group>
<source><![CDATA[A Critical Exposition of the Philosophy of Leibniz: With an Appendix of Leading Passages]]></source>
<year>1937</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[George Allen &amp; Unwin]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sernadas]]></surname>
<given-names><![CDATA[Almicar]]></given-names>
</name>
<name>
<surname><![CDATA[Sernadas]]></surname>
<given-names><![CDATA[Cristina]]></given-names>
</name>
<name>
<surname><![CDATA[Rasga]]></surname>
<given-names><![CDATA[João]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On meet-combination of logics]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2011</year>
<volume>22</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>1453-70</page-range></nlm-citation>
</ref>
<ref id="B29">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sernadas]]></surname>
<given-names><![CDATA[Almicar]]></given-names>
</name>
<name>
<surname><![CDATA[Sernadas]]></surname>
<given-names><![CDATA[Cristina]]></given-names>
</name>
<name>
<surname><![CDATA[Rasga]]></surname>
<given-names><![CDATA[João]]></given-names>
</name>
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[Marcelo]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A graph-theoretic account of logics]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2009</year>
<volume>19</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>1281-320</page-range></nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Simons]]></surname>
<given-names><![CDATA[Peter]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Term logic]]></article-title>
<source><![CDATA[Axioms]]></source>
<year>2020</year>
<volume>9</volume>
<numero>18</numero>
<issue>18</issue>
</nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Predication in the logic terms]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1989</year>
<volume>31</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>106-26</page-range></nlm-citation>
</ref>
<ref id="B32">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logic of Natural Language]]></source>
<year>1982</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B33">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distribution matters]]></article-title>
<source><![CDATA[Mind]]></source>
<year>1975</year>
<volume>84</volume>
<numero>333</numero>
<issue>333</issue>
<page-range>27-46</page-range></nlm-citation>
</ref>
<ref id="B34">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Szabolcsi]]></surname>
<given-names><![CDATA[Lorne]]></given-names>
</name>
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Numerical Term Logic]]></source>
<year>2008</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Edwin Mellen Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B35">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wang]]></surname>
<given-names><![CDATA[Pei]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Return to Term Logic]]></article-title>
<source><![CDATA[Working Notes of the IJCAI Workshop on Abduction and Induction in AI]]></source>
<year>1997</year>
<page-range>53-7</page-range><publisher-loc><![CDATA[Nicosia ]]></publisher-loc>
<publisher-name><![CDATA[Indiana University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B36">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Williamson]]></surname>
<given-names><![CDATA[Colwyn]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Traditional logic as a logic of distribution-values]]></article-title>
<source><![CDATA[Logique et Analyse]]></source>
<year>1971</year>
<volume>14</volume>
<numero>56</numero>
<issue>56</issue>
<page-range>729-46</page-range></nlm-citation>
</ref>
<ref id="B37">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Woods]]></surname>
<given-names><![CDATA[John]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Logic naturalized]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Redmond]]></surname>
<given-names><![CDATA[Juan]]></given-names>
</name>
<name>
<surname><![CDATA[Martins]]></surname>
<given-names><![CDATA[Olga Pombo]]></given-names>
</name>
<name>
<surname><![CDATA[Fernández]]></surname>
<given-names><![CDATA[Ángel Nepomuceno]]></given-names>
</name>
</person-group>
<source><![CDATA[Epistemology, Knowledge and the Impact of Interaction. Logic, Epistemology, and the Unity of Science]]></source>
<year>2016</year>
<page-range>403-32</page-range><publisher-loc><![CDATA[Cham ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
