Lógica Super-Lukasiewicz de 3 valores

Ponente(s): Juan Manuel Ramirez Contreras, Miguel Pérez Gaspar, Aldo Figallo Orellano

En 1990, A. V. Figallo introdujo la lógica de Super-Lukasiewicz de 3 valores ampliada con el operador ∆ que se denota por CL→,∆ 3; este operador se usa en la definición de álgebras de Lukasiewicz de 3 valores y no es posible recuperar ∆ a través de la implicación de Lukasiewicz y el fondo en la lógica de Super-Lukasiewicz. Por otro lado, Baaz introdujo el operador ∆ en la lógica de Gödel en sus versiones proposicional y cuantificada. Posteriormente, este operador fue intensamente estudiado en el área de la lógica difusa. En esta charla presentaremos por primera vez una versión fuerte del teorema de adecuación para CL→,∆3. Además, presentamos la versión de primer orden de CL→,∆3 y probamos los resultados de solidez y completitud mediante la adaptación de técnicas algebraicas desarrolladas recientemente; además, nuestra presentación es diferente a las demás en la literatura