Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz= Estudio algebraico de las extensiones de los cálculos multivalentes de Lukasiewicz

Resumen

El objetivo principal de la tesis es estudiar las extensiones de los calculos multivalentes de Lukasiewicz, A partir de la teoria de algebrización de Blok y Pigozzi para logicas proposicionales finitarias, en este trabajo se establece la equivalencia entre el estudio de las extensiones del calculo infinitovalente de Lukasiewicz y el estudio de las cuasivariedades de mv-algebras. EN particular en la memoria se caracteriza y clasifica cuatro tipos de cuasivariedades de mv-algebras: las variedades; las cuasivariedades generadas por mv-algebras simples; las cuasivariedades n-acotadas; y las cuasivariedades congruente distributivas. De todas ellas se obtiene sus generadores como cuasivariedades. Para cada una de las clases de cuasivariedades se establecen criterios de clasificación y se estudian las propiedades: axiomatización finita, propiedad de la extensión de congruencias relativas y la propiedad de las congruencias principales relativas ecuacionalmente definibles.