Lógiques basades en normes triangularsuna cotnribució a l'estudi dels seus aspectes subestructurals

Abstract

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).