<?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-55462021000200435</article-id>
<article-id pub-id-type="doi">10.13053/cys-25-2-3363</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[On the Paraconsistent Logic CG'3]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pérez-Gaspar]]></surname>
<given-names><![CDATA[Miguel]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Borja Macias]]></surname>
<given-names><![CDATA[Veronica]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Bárcenas]]></surname>
<given-names><![CDATA[Everardo]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Nacional Autónoma de México  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad Tecnológica de la Mixteca  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>06</month>
<year>2021</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2021</year>
</pub-date>
<volume>25</volume>
<numero>2</numero>
<fpage>435</fpage>
<lpage>445</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462021000200435&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-55462021000200435&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-55462021000200435&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract Paraconsistent logical systems are well-known reasoning frameworks aimed to infer new facts or properties under contradictory assumptions. Applications of these systems are well known in a wide range of computer science domains. In this article, we study the paraconsistent logic CG'3, which can be viewed as an extension of the logic G'3. CG'3 is also 3-valued, but with two designated values. Main results can be summarized as follows: a Hilbert-type axiomatization, based on Kalmar's approach; and a new notion of validity, based on also novel Kripke semantics.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Many-valued logic]]></kwd>
<kwd lng="en"><![CDATA[paraconsistent logic]]></kwd>
<kwd lng="en"><![CDATA[Kripke-type semantics]]></kwd>
<kwd lng="en"><![CDATA[Hilbert calculi]]></kwd>
<kwd lng="en"><![CDATA[CG'3]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Anahit]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Artur]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Generalization of Kalmar's proof of deducibility in two valued propositional logic into many valued logic]]></article-title>
<source><![CDATA[Pure and Applied Mathematics Journal]]></source>
<year>2017</year>
<volume>6</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>71-5</page-range></nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Borja Macias]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Perez-Gaspar]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Kripke-type semantics for CG&#8217;3]]></article-title>
<source><![CDATA[Electronic Notes in Theoretical Computer Science]]></source>
<year>2016</year>
<volume>328</volume>
<page-range>17-29</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[Carnielli]]></surname>
<given-names><![CDATA[W. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[M. E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Paraconsistent logic: Consistency, Contradiction and Negation]]></source>
<year>2016</year>
<publisher-loc><![CDATA[Cham, Switzerland ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></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[Chagrov]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Modal Logic]]></source>
<year>1997</year>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[M. E.]]></given-names>
</name>
<name>
<surname><![CDATA[Figallo-Orellano]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A model-theoretic analysis of Fidel-structures for mbC]]></article-title>
<source><![CDATA[Graham Priest on Dialetheism and Paraconsistency]]></source>
<year>2018</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Epstein]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Multiple-valued logic design: an introduction]]></source>
<year>2017</year>
<publisher-name><![CDATA[Routledge]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ferguson]]></surname>
<given-names><![CDATA[T. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Lukasiewicz negation and many-valued extensions of constructive logics]]></article-title>
<source><![CDATA[IEEE 44th International Symposium on Multiple-Valued Logic]]></source>
<year>2014</year>
<page-range>121-7</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[Galindo]]></surname>
<given-names><![CDATA[M. O.]]></given-names>
</name>
<name>
<surname><![CDATA[Macias]]></surname>
<given-names><![CDATA[V. B.]]></given-names>
</name>
<name>
<surname><![CDATA[Ramirez]]></surname>
<given-names><![CDATA[J. R. E. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Revisiting da Costa logic]]></article-title>
<source><![CDATA[Journal of Applied Logic]]></source>
<year>2016</year>
<volume>16</volume>
<page-range>111-27</page-range></nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gottwald]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Many-valued 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>2020</year>
<publisher-name><![CDATA[Metaphysics Research Lab, Stanford University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hájek]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Making fuzzy description logic more general]]></article-title>
<source><![CDATA[Fuzzy Sets and Systems]]></source>
<year>2005</year>
<volume>154</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>1-15</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[Ivlev]]></surname>
<given-names><![CDATA[Y. V.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Generalization of Kalmár's method for quasi-matrix logic]]></article-title>
<source><![CDATA[Logical Investigations]]></source>
<year>2013</year>
<volume>19</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>281-307</page-range></nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Mendelson]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Introduction to Mathematical Logic]]></source>
<year>2009</year>
<publisher-name><![CDATA[CRC Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<label>13</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Carballido]]></surname>
<given-names><![CDATA[J. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Zepeda]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Revisiting Z]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>2014</year>
<volume>55</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>129-55</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[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Zepeda]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Nieves]]></surname>
<given-names><![CDATA[J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Carballido]]></surname>
<given-names><![CDATA[J. L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[G&#8217;3-stable semantics and inconsistency]]></article-title>
<source><![CDATA[Computacion y Sistemas]]></source>
<year>2009</year>
<volume>13</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>75-86</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[Osorio Galindo]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Carballido Carranza]]></surname>
<given-names><![CDATA[J. L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Brief study of G&#8217;3 logic]]></article-title>
<source><![CDATA[Journal of Applied Non-Classical Logics]]></source>
<year>2008</year>
<volume>18</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>475-99</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[Priest]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dualising intuitionictic negation]]></article-title>
<source><![CDATA[Principia: an international journal of epistemology]]></source>
<year>2009</year>
<volume>13</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>165-84</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
