Revue: | Computación y sistemas |
Base de datos: | |
Número de sistema: | 000560586 |
ISSN: | 1405-5546 |
Autores: | Pérez Gaspar, Miguel1 Borja Macias, Veronica2 Bárcenas, Everardo1 |
Instituciones: | 1Universidad Nacional Autónoma de México, México 2Universidad Tecnológica de la Mixteca, Oaxaca. México |
Año: | 2021 |
Periodo: | Abr-Jun |
Volumen: | 25 |
Número: | 2 |
Paginación: | 435-445 |
País: | México |
Idioma: | Inglés |
Resumen en inglés | 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. |
Keyword: | Many-valued logic, Paraconsistent logic, Kripke-type semantics, Hilbert calculi, CG'3 |
Texte intégral: | Texto completo (Ver HTML) Texto completo (Ver PDF) |