Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Computación y Sistemas
versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546
Resumen
PEREZ-GASPAR, Miguel y BARCENAS, Everardo. On the Algebrization of the Multi-valued Logics CG′3 and G′3. Comp. y Sist. [online]. 2021, vol.25, n.4, pp.751-759. Epub 28-Feb-2022. ISSN 2007-9737. https://doi.org/10.13053/cys-25-4-4046.
Multi-valued logics form a family of formal languages with several applications in computer sciences, particularly in the field of Artificial intelligence. Paraconsistent multi-valued logics have been successful applied in logic programming, fuzzy reasoning, and even in the construction of paraconsistent neural networks. is a 3-valued logic with a single represented truth value by 1. is a paraconsistent, 3-valued logic that extends with two truth values represented by 1 and 2. The state of the art of comprises a Kripke semantics and a Hilbert axiomatization inspired by the Lindenbaum-Łos technique. In this work, we show that and are algebrizable in the sense of Blok and Pigozzi. These results may apply to the development of paraconsistent reasoning systems.
Palabras llave : Paraconsistent logics; blok-pigozzi algebrization; non-monotonic reasoning.