Lógiques basades en normes triangularsuna cotnribució a l'estudi dels seus aspectes subestructurals
- García Cerdaña, José Angel
- Francesc Esteva Massaguer Director/a
- Buenaventura Verdú Solans Director/a
Universidad de defensa: Universitat de Barcelona
Fecha de defensa: 20 de noviembre de 2007
- Antoni Torrens Torrell Presidente/a
- Joan Gispert Brasó Secretario/a
- Lluis Godo Lacasa Vocal
- Félix Bou Moliner Vocal
- Pilar Dellunde Clave Vocal
Tipo: Tesis
Resumen
Desde una perspectiva general, se estudia la conexión entre las lógicas subestructurales y las lógicas borrosas residuales basadas en normas triangulares (t-normas), usando como herramientas la lógica algebraica y la teoría de la prueba, En particular, se estudian las conexiones de las principales extensiones de la lógica movidad, que es la lógicas asociada al Full Labmerr calculus con intercambio y debilitamiento, con las principales lógicas borrosas basadas en t-normas. Se estudian condicones de definibilida de las conectivas aditivas en ambos marcos. Se estudian ciertos fragmentos sin simplificación de la lógica monoidad y se generaliza este estudio a un ámbito subestructural más amplio (sin debilitamiento y sin intercambio).