<?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>0034-7426</journal-id>
<journal-title><![CDATA[Revista Colombiana de Matemáticas]]></journal-title>
<abbrev-journal-title><![CDATA[Rev.colomb.mat.]]></abbrev-journal-title>
<issn>0034-7426</issn>
<publisher>
<publisher-name><![CDATA[Universidad Nacional de Colombia y Sociedad Colombiana de Matemáticas]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S0034-74262018000200185</article-id>
<article-id pub-id-type="doi">10.15446/recolma.v52n2.77158</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Discriminant Structures Associated to Matrix Semantics]]></article-title>
<article-title xml:lang="es"><![CDATA[Estructuras Discriminantes Asociadas a Semánticas Matriciales]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Fernández]]></surname>
<given-names><![CDATA[Víctor]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Murciano]]></surname>
<given-names><![CDATA[Carina]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Nacional de San Juan San Juan ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Argentina</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad Nacional de San Juan San Juan ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Argentina</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2018</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2018</year>
</pub-date>
<volume>52</volume>
<numero>2</numero>
<fpage>185</fpage>
<lpage>209</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_arttext&amp;pid=S0034-74262018000200185&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_abstract&amp;pid=S0034-74262018000200185&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_pdf&amp;pid=S0034-74262018000200185&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract In this paper we show a method to characterize logical matrices by means of a special kind of structures, called here discriminant structures for this purpose. Its de&#64257;nition is based on the discrimination of each truthvalue of a given (&#64257;nite) matrix M = (A, D), w.r.t. its belonging to D. From this starting point, we de&#64257;ne a whole class S  M of discriminant structures. This class is characterized by a set of Boolean equations, as it is shown here. In addition, several technical results are presented, and it is emphasized the relation of the Discriminant Structures Semantics (D.S.S) with other related semantics such as Dyadic or Twist-Structure.]]></p></abstract>
<abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen En este artículo mostramos un método para caracterizar matrices lógicas por medio de una clase especial de estructuras, llamadas aquí estructuras discriminantes. Su de&#64257;nición es basada en la discriminación de cada valor de verdad de una matriz (&#64257;nita) M = (A, D) dada, con respecto a su pertenencia a D. Con este punto de partida, de&#64257;nimos toda una clase S  M de estructuras discriminantes. Esta clase es caracterizada por un conjunto de ecuaciones Booleanas, según aquí se indica. Además, son demostrados diversos resultados técnicos y se enfatiza la relación de la Semántica de Estructuras Discriminantes (D.S.S) con otras semánticas relacionadas tales como las Semánticas Diádicas o las Semánticas de Estructuras Twist.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Matrix Logic]]></kwd>
<kwd lng="en"><![CDATA[n-valued logics]]></kwd>
<kwd lng="en"><![CDATA[Discriminant Structures]]></kwd>
<kwd lng="es"><![CDATA[Lógica Matricial]]></kwd>
<kwd lng="es"><![CDATA[lógicas n-valuadas]]></kwd>
<kwd lng="es"><![CDATA[Estructuras Discriminantes]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>[1]</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Caleiro]]></surname>
<given-names><![CDATA[Carlos]]></given-names>
</name>
<name>
<surname><![CDATA[Carnielli]]></surname>
<given-names><![CDATA[Walter]]></given-names>
</name>
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[Marcelo]]></given-names>
</name>
<name>
<surname><![CDATA[Marcos]]></surname>
<given-names><![CDATA[Joao]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Two's company: &#8220;The humbug of many logical values&#8221;]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Beziáu]]></surname>
<given-names><![CDATA[J. Y]]></given-names>
</name>
</person-group>
<source><![CDATA[Logica Universalis]]></source>
<year>2005</year>
<page-range>169-89</page-range><publisher-loc><![CDATA[Germany ]]></publisher-loc>
<publisher-name><![CDATA[Birkhauser]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<label>[2]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Caleiro]]></surname>
<given-names><![CDATA[Carlos]]></given-names>
</name>
<name>
<surname><![CDATA[Marcos]]></surname>
<given-names><![CDATA[Joao]]></given-names>
</name>
<name>
<surname><![CDATA[Volpe]]></surname>
<given-names><![CDATA[Marco]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Bivalent semantics, generalized compositionaly and analytic classic-like tableaux for &#64257;nite-valued logics]]></article-title>
<source><![CDATA[Theoretical Computer Science]]></source>
<year>2015</year>
<volume>603</volume>
<page-range>84-110</page-range></nlm-citation>
</ref>
<ref id="B3">
<label>[3]</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Czelakowski]]></surname>
<given-names><![CDATA[Janusz]]></given-names>
</name>
</person-group>
<source><![CDATA[Protoalgebraic logics]]></source>
<year>2001</year>
<publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Kluwer Academic Publishers]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<label>[4]</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fernández]]></surname>
<given-names><![CDATA[Víctor]]></given-names>
</name>
</person-group>
<source><![CDATA[Society semantics for n-valued logics (in portuguese)]]></source>
<year>2001</year>
<publisher-loc><![CDATA[Campinas, Brazil ]]></publisher-loc>
<publisher-name><![CDATA[UNICAMP]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<label>[5]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fernández]]></surname>
<given-names><![CDATA[Víctor]]></given-names>
</name>
<name>
<surname><![CDATA[Murciano]]></surname>
<given-names><![CDATA[Carina]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Generalization of Twist-Structures Semantics for n-valued logics]]></article-title>
<source><![CDATA[CLE e-prints]]></source>
<year>2013</year>
<volume>13</volume>
<numero>1</numero>
<issue>1</issue>
</nlm-citation>
</ref>
<ref id="B6">
<label>[6]</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fidel]]></surname>
<given-names><![CDATA[Manuel]]></given-names>
</name>
</person-group>
<source><![CDATA[n Algebraic Study of a Propositional System of Nelson]]></source>
<year>1978</year>
<conf-name><![CDATA[ Proceedings of the First Brazilian Conference on Mathematical Logic]]></conf-name>
<conf-date>1977</conf-date>
<conf-loc>Campinas </conf-loc>
<page-range>99-117</page-range></nlm-citation>
</ref>
<ref id="B7">
<label>[7]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Odintsov]]></surname>
<given-names><![CDATA[Sergei]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Algebraic Semantics for Paraconsistent Nelson's logic]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2003</year>
<volume>13</volume>
<page-range>453-68</page-range></nlm-citation>
</ref>
<ref id="B8">
<label>[8]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ramos]]></surname>
<given-names><![CDATA[Fernando]]></given-names>
</name>
<name>
<surname><![CDATA[Fernández]]></surname>
<given-names><![CDATA[Víctor]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Twist - Structures Semantics for the Logics of the Hierarchy InPk]]></article-title>
<source><![CDATA[Journal of Applied Non-Classical Logics]]></source>
<year>2009</year>
<volume>19</volume>
<page-range>183-209</page-range></nlm-citation>
</ref>
<ref id="B9">
<label>[9]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rivieccio]]></surname>
<given-names><![CDATA[Umberto]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Implicative Twist-Structures]]></article-title>
<source><![CDATA[Algebra Universalis]]></source>
<year>2014</year>
<volume>71</volume>
<page-range>155-86</page-range></nlm-citation>
</ref>
<ref id="B10">
<label>[10]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sette]]></surname>
<given-names><![CDATA[Antonio]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Propositional Calculus P1]]></article-title>
<source><![CDATA[Mathematica Japonicae]]></source>
<year>1973</year>
<volume>18</volume>
<page-range>173-80</page-range></nlm-citation>
</ref>
<ref id="B11">
<label>[11]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sette]]></surname>
<given-names><![CDATA[Antonio]]></given-names>
</name>
<name>
<surname><![CDATA[Carnielli]]></surname>
<given-names><![CDATA[Walter]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Maximal weakly-intuitionistic logics]]></article-title>
<source><![CDATA[Studia Logica]]></source>
<year>1995</year>
<volume>55</volume>
<page-range>181-203</page-range></nlm-citation>
</ref>
<ref id="B12">
<label>[12]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Smiley]]></surname>
<given-names><![CDATA[Timothy]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Independence of Connectives]]></article-title>
<source><![CDATA[The Journal of Symbolic Logic]]></source>
<year>1962</year>
<volume>27</volume>
<page-range>426-36</page-range></nlm-citation>
</ref>
<ref id="B13">
<label>[13]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Suszko]]></surname>
<given-names><![CDATA[Roman]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Fregean axiom and Polish Mathematical Logic in the 1920&#8217;s]]></article-title>
<source><![CDATA[Studia Logica]]></source>
<year>1977</year>
<volume>36</volume>
<page-range>373-80</page-range></nlm-citation>
</ref>
<ref id="B14">
<label>[14]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Urquhart]]></surname>
<given-names><![CDATA[Alasdair]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Finite Matrix whose consequence relation is not &#64257;nitely axiomatizable]]></article-title>
<source><![CDATA[Reports on Mathematical Logic]]></source>
<year>1977</year>
<volume>9</volume>
<page-range>71-3</page-range></nlm-citation>
</ref>
<ref id="B15">
<label>[15]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Vakarelov]]></surname>
<given-names><![CDATA[Dimiter]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Notes on N-lattices and Constructive Logic with Strong Negation]]></article-title>
<source><![CDATA[Studia Logica]]></source>
<year>1977</year>
<volume>36</volume>
<page-range>109-25</page-range></nlm-citation>
</ref>
<ref id="B16">
<label>[16]</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wójcicki]]></surname>
<given-names><![CDATA[Ryszard]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Referential Matrix Semantics for Propositional Calculi]]></article-title>
<source><![CDATA[Bulletin of the Section of Logic]]></source>
<year>1979</year>
<volume>8</volume>
<page-range>170-6</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
