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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados