Axiomatización para la lógica tres-valuada G3'

Ponente(s): Miguel Pérez Gaspar, Marcelo E. Coniglio, Alejandro Hernández Tello, José Arrazola Ramírez

La lógica G3' fue introducida en 2001 por Walter A. Carnielli mediante una 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'. .