On the Algebrization of the Multi-valued Logics CG´3 and G´3

Authors

  • Miguel Pérez-Gaspar Universidad Nacional Autónoma de México, Facultad de Ingeniería
  • Everardo Bárcenas Universidad Nacional Autónoma de México, Facultad de Ingeniería

DOI:

https://doi.org/10.13053/cys-25-4-4046

Keywords:

Paraconsistent logics, blok-pigozzi algebrization, non-monotonic reasoning

Abstract

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 evenin the construction of paraconsistent neural networks. G03 is a 3-valued logic with a single represented truth value by 1. CG´3 is a paraconsistent, 3-valued logic that extends G´3 with two truth values represented by 1 and 2. The state of the art of CG´3 comprises a Kripkesemantics and a Hilbert axiomatization inspired by the Lindenbaum-Łos technique. In this work, we show that G´3 and CG´3 are algebrizable in the sense of Blok and Pigozzi. These results may apply to the development of paraconsistent reasoning systems.

Downloads

Published

2021-11-30

Issue

Vol. 25 No. 4 (2021): 25(4) 2021: Thematic Issue on Artificial Intelligence for Industry 4.0 (Guest Editors: O. Vergara et al.)

Section

Articles of the Thematic Issue

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.