En [1], Osorio et al. definen a la lógica G3' mediante su semántica multivaluada. La matriz de la lógica G3' esta dada por: M = ⟨D, D*, F ⟩ donde: el dominio es D = {0,1,2} y el conjunto de valores designados es D* = {2}. Nosotros presentamos una axiomatización para esta lógica y probamos un teorema de robustez-completitud además de algunas propiedades interesantes que cumple G3'.

References

[1] M. Osorio Galindo and J. L. Carballido Carranza. Brief study of g’3 logic. Journal of Applied Non-Classical Logics, 18(4):475–499, 2008.

[2] W.A. Carnielli and M.E. Coniglio. Paraconsistent Logic: Consistency, Contradiction and Negation. Volume 40 of Logic, Epistemology, and the Unity of Science. Springer, 2016.