Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz: = Estudio algebraico de las extensiones de los cálculos multivalentes de Lukasiewicz
- Autores: Joan Gispert Brasó
- Directores de la Tesis: Antoni Torrens Torrell (dir. tes.)
- Lectura: En la Universitat de Barcelona ( España ) en 1998
- Idioma: catalán
- Tribunal Calificador de la Tesis: Buenaventura Verdú i Solans (presid.), Josep Maria Font i Llobet (secret.), Antonio Jesús Rodríguez Salas (voc.), Francesc Esteva i Massaguer (voc.), Lluis Godo Lacasa (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- 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.
