| Revista: | 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 |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
