Una implicación para las lógicas paraconsistentes genuinas

Ponente(s): Jesús Alejandro Hernández Tello, Mauricio Osorio Galindo, Fundación Universidad de las Américas, Puebla. José Arrazola Ramírez, Benemérita Universidad Autónoma de Puebla.

Las lógicas paraconsistentes se definen de forma general como aquellas lógicas que rechazan el "Principio de no contradicción" (PNC), que afirma que una proposición y su negación no pueden ser verdaderas simultáneamente. Sin embargo no existe una única forma de establecer este principio, y se puede demostrar que las dos formas más aceptadas de hacerlo son independientes, esto ha conducido a la definición de lógicas que satisfacen ninguno de estos principios, las así llamadas lógicas paraconsistentes genuinas. Las investigaciones realizadas al respecto se enmarcan dentro de las lógicas trivaluadas, que incluyen además del conectivo de negación conectivos de conjunción y disyunción, sin embargo no se ha considerado un conectivo de implicación. En la charla se estudiarán algunas condiciones que se deben pedir a un conectivo binario para que sea considerado como una implicación en este tipo de lógicas con lo cual se obtienen extensiones de ellas.