Lógiques basades en normes triangulars: una cotnribució a l'estudi dels seus aspectes subestructurals

• Autores: José Angel García Cerdaña
• Directores de la Tesis: Francesc Esteva i Massaguer (dir. tes.), Buenaventura Verdú i Solans (dir. tes.)
• Lectura: En la Universitat de Barcelona ( España ) en 2007
• Idioma: español
• Tribunal Calificador de la Tesis: Antoni Torrens Torrell (presid.), Joan Gispert Brasó (secret.), Félix Bou Moliner (voc.), Pilar Dellunde Clave (voc.), Lluis Godo Lacasa (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Fundamentos de matemáticas
      • Lógica matemática
• Texto completo no disponible (Saber más ...)
• 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).