| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4950084 | Electronic Notes in Theoretical Computer Science | 2016 | 13 Pages |
Abstract
In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic, 55(1):129-155, 2014] introduced a paraconsistent three-valued logic, the logic CG3â² which was named after the logic G3â² due to the close relation between them. Authors defined CG3â² via the three-valued matrix that defines G3â² but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3â² before constructing a Kripke-type semantics for it.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Verónica Borja MacÃas, Miguel Pérez-Gaspar,