Lógiques basades en normes triangularsuna cotnribució a l'estudi dels seus aspectes subestructurals
- García Cerdaña, José Angel
- Francesc Esteva Massaguer Doktorvater/Doktormutter
- Buenaventura Verdú Solans Doktorvater/Doktormutter
Universität der Verteidigung: Universitat de Barcelona
Fecha de defensa: 20 von November von 2007
- Antoni Torrens Torrell Präsident/in
- Joan Gispert Brasó Sekretär/in
- Lluis Godo Lacasa Vocal
- Félix Bou Moliner Vocal
- Pilar Dellunde Clave Vocal
Art: Dissertation
Zusammenfassung
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).