Lógiques basades en normes triangularsuna cotnribució a l'estudi dels seus aspectes subestructurals
- García Cerdaña, José Angel
- Francesc Esteva Massaguer Directeur/trice
- Buenaventura Verdú Solans Directeur/trice
Université de défendre: Universitat de Barcelona
Fecha de defensa: 20 novembre 2007
- Antoni Torrens Torrell President
- Joan Gispert Brasó Secrétaire
- Lluis Godo Lacasa Rapporteur
- Félix Bou Moliner Rapporteur
- Pilar Dellunde Clave Rapporteur
Type: Thèses
Résumé
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).