La lógica CG'3

Ponente(s): Miguel Pérez Gaspar, José Ramón Enrique Arrazola Ramírez Verónica Borja Macías
En 2008, Osorio et al. definen a la lógica CG'3 como una lógica paraconsistente y tri-valuada con valores de verdad en el dominio: 0,1,2 en donde 1 y 2 son los valores designados. En 2016, Borja y Pérez-Gaspar definen una semántica de tipo Kripke para CG'3 de dos maneras distintas; la primera cambiando la noción de validez y la segunda basándose en la semántica de tipo Kripke de G'3. El propósito de esta charla es presentar una axiomatización de tipo Hilbert para CG'3.