Abstract

PEREZ-GASPAR, Miguel; BORJA MACIAS, Veronica  and  BARCENAS, Everardo. On the Paraconsistent Logic CG'₃. Comp. y Sist. [online]. 2021, vol.25, n.2, pp.435-445.  Epub Oct 11, 2021. ISSN 2007-9737.  https://doi.org/10.13053/cys-25-2-3363.

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.

Keywords : Many-valued logic; paraconsistent logic; Kripke-type semantics; Hilbert calculi; CG'₃.

        · text in English     · English ( pdf )