Revista: | Computación y sistemas |
Base de datos: | |
Número de sistema: | 000560586 |
ISSN: | 1405-5546 |
Autors: | Pérez Gaspar, Miguel1 Borja Macias, Veronica2 Bárcenas, Everardo1 |
Institucions: | 1Universidad Nacional Autónoma de México, México 2Universidad Tecnológica de la Mixteca, Oaxaca. México |
Any: | 2021 |
Període: | Abr-Jun |
Volum: | 25 |
Número: | 2 |
Paginació: | 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 |
Text complet: | Texto completo (Ver HTML) Texto completo (Ver PDF) |