Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Similares em SciELO
Compartilhar
Computación y Sistemas
versão On-line ISSN 2007-9737versão impressa ISSN 1405-5546
Resumo
PEREZ-GASPAR, Miguel; BORJA MACIAS, Veronica e BARCENAS, Everardo. On the Paraconsistent Logic CG'3. Comp. y Sist. [online]. 2021, vol.25, n.2, pp.435-445. Epub 11-Out-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.
Palavras-chave : Many-valued logic; paraconsistent logic; Kripke-type semantics; Hilbert calculi; CG'3.