Tesis doctoral de Joan Gispert Braso
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.
Datos académicos de la tesis doctoral «Estudio algebraico de las extensiones de los calculos multivalentes de lukasiewicz.«
- Título de la tesis: Estudio algebraico de las extensiones de los calculos multivalentes de lukasiewicz.
- Autor: Joan Gispert Braso
- Universidad: Barcelona
- Fecha de lectura de la tesis: 10/10/1998
Dirección y tribunal
- Director de la tesis
- Antonio Torrens Torrell
- Tribunal
- Presidente del tribunal: buenaventura Verdu solans
- Antonio Jesús Rodriguez salas (vocal)
- francesc Esteva messeguer (vocal)
- lluís Godó lacasa (vocal)