Conectivos en lógicas de Łukasiewicz n-valuadas

Abstract

El tema principal de nuestro estudio es la aplicación de esta definición algebraica de conectivo a las lógicas de n-valuadas de Lukasiewicz y su relación con las álgebras n-valuadas de Lukasiewicz-Moisil. Se trabajará sobre el contenido del artículo de R. Cignoli, n- Valued Connectives. Nos basaremos fundamentalmente en las definiciones y resultados del libro Lukasiewicz-Moisil Álgebras, de V. Boicescu, A. Filipoiu, G. Georgescu, S. Rudeanu. En la sección 1 se introducen, de acuerdo al citado libro, las álgebras de Lukasiewicz-Moisil, su conexión con otro tipo de reticulados, propiedades de las congruencias y filtros. En la sección 2 se desarrolla con detalle los resultados obtenidos por Cignoli en su artículo. Se presentan además las lógicas n-valuadas de Lukasiewicz.