<?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>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462022000200761</article-id>
<article-id pub-id-type="doi">10.13053/cys-26-2-4237</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Toward Relevance 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>06</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2022</year>
</pub-date>
<volume>26</volume>
<numero>2</numero>
<fpage>761</fpage>
<lpage>768</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462022000200761&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462022000200761&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462022000200761&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as its class of theorems includes some inferences that may be considered irrelevant. Given this situation, in this contribution we tweak a tableaux method in order to avoid said irrelevance.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Semantic trees]]></kwd>
<kwd lng="en"><![CDATA[term logic]]></kwd>
<kwd lng="en"><![CDATA[relevance logic]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aristotle]]></surname>
</name>
</person-group>
<source><![CDATA[Prior Analytics]]></source>
<year>1989</year>
<publisher-name><![CDATA[Hackett]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cabrera]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Es realmente la lógica tópicamente neutra y completamente general]]></article-title>
<source><![CDATA[Ergo, Nueva Época, Revista de Filosofía]]></source>
<year>2003</year>
<volume>12</volume>
<page-range>7-33</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. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Silogística intermedia, términos y árboles]]></article-title>
<source><![CDATA[Tópicos, Revista De Filosofía]]></source>
<year>2019</year>
<volume>58</volume>
<page-range>209-37</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.-M.]]></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>2</numero>
<issue>2</issue>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J. M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Murphree&#8217;s numerical term logic tableaux]]></source>
<year>2020</year>
<volume>354</volume>
<conf-name><![CDATA[ Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning (LANMR)]]></conf-name>
<conf-loc> </conf-loc>
<page-range>17-28</page-range></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. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Un método de árboles para la silogística modal]]></article-title>
<source><![CDATA[Open Insight, Revista De Filosof&#305;a]]></source>
<year>2020</year>
<volume>58</volume>
<page-range>209-37</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. M.]]></given-names>
</name>
<name>
<surname><![CDATA[Reyes-Cárdenas]]></surname>
<given-names><![CDATA[P.-O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Term functor logic tableaux]]></article-title>
<source><![CDATA[South American Journal of Logic]]></source>
<year>2018</year>
<volume>4</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>9-50</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[D&#8217;Agostino]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D. M.]]></given-names>
</name>
<name>
<surname><![CDATA[Hähnle]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Posegga]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Tableau Methods]]></source>
<year>1999</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[The New Syllogistic]]></source>
<year>1987</year>
<publisher-name><![CDATA[P. Lang]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Preliminary notes on a new modal syllogistic]]></article-title>
<source><![CDATA[Notre Dame J. Formal Logic]]></source>
<year>1988</year>
<volume>29</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>381-95</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Something to Reckon with: The Logic of Terms]]></source>
<year>1996</year>
<publisher-name><![CDATA[University of Ottawa Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Robust Reality: An Essay in Formal Ontology]]></article-title>
<source><![CDATA[Philosophische Analyse / Philosophical Analysis]]></source>
<year>2013</year>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Bare Facts and Naked Truths: A New Correspondence Theory of Truth]]></source>
<year>2017</year>
<publisher-name><![CDATA[Taylor &amp; Francis]]></publisher-name>
</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[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Sayward]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophical Logic: An Introduction to Advanced Topics]]></source>
<year>2011</year>
<publisher-name><![CDATA[Bloomsbury Academic]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kuhn]]></surname>
<given-names><![CDATA[S. T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An axiomatization of predicate functor logic]]></article-title>
<source><![CDATA[Notre Dame J. Formal Logic]]></source>
<year>1983</year>
<volume>24</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>233-41</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Losee]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Historical Introduction to the Philosophy of Science]]></source>
<year>2001</year>
<publisher-name><![CDATA[OUP Oxford]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Mares]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Relevant Logic: A Philosophical Interpretation]]></source>
<year>2004</year>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Meyer]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Martin]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[S (for syllogism) revisited]]></article-title>
<source><![CDATA[The Australasian Journal of Logic]]></source>
<year>2019</year>
<volume>16</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>49-67</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Moss]]></surname>
<given-names><![CDATA[L.]]></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[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Fox]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Handbook of Contemporary Semantic Theory]]></source>
<year>2015</year>
<publisher-name><![CDATA[John Wiley &amp; Sons]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murphree]]></surname>
<given-names><![CDATA[W. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Numerical term logic]]></article-title>
<source><![CDATA[Notre Dame J. 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="B21">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Noah]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Predicate-functors and the limits of decidability in logic]]></article-title>
<source><![CDATA[Notre Dame J. Formal Logic]]></source>
<year>1980</year>
<volume>21</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>701-7</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Priest]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[An Introduction to Non-Classical Logic: From If to Is]]></source>
<year>2008</year>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Quine]]></surname>
<given-names><![CDATA[W. V. O.]]></given-names>
</name>
<name>
<surname><![CDATA[Fenstad]]></surname>
<given-names><![CDATA[J. E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Predicate functor logic]]></source>
<year>1971</year>
<conf-name><![CDATA[ Second Scandinavian Logic Symposium]]></conf-name>
<conf-loc>North-Holland </conf-loc>
</nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logic of Natural Language]]></source>
<year>1982</year>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Intelectual autobiography]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Oderberg]]></surname>
<given-names><![CDATA[D. S.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Old New Logic: Essays on the Philosophy of Fred Sommers]]></source>
<year>2005</year>
<page-range>1-24</page-range><publisher-name><![CDATA[Bradford book]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[An Invitation to Formal Reasoning: The Logic of Terms]]></source>
<year>2000</year>
<publisher-name><![CDATA[Ashgate]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Thom]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Logic and Ontology in the Syllogistic of Robert Kilwardby]]></article-title>
<source><![CDATA[Studien Und Texte Zur Geistesgeschichte Des Mittelalters]]></source>
<year>2007</year>
<publisher-name><![CDATA[Brill]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Woods]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic Naturalized]]></source>
<year>2016</year>
<page-range>403-32</page-range><publisher-loc><![CDATA[Cham ]]></publisher-loc>
<publisher-name><![CDATA[Springer International Publishing]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
