Non classical systems for uncertain reasoning: non monotonic logics with non classical bases

• Autores: Enrico Marchioni
• Directores de la Tesis: María Gracia Manzano Arjona (dir. tes.), Lluis Godo Lacasa (dir. tes.)
• Lectura: En la Universidad de Salamanca ( España ) en 2006
• Idioma: español
• Tribunal Calificador de la Tesis: Francesc Esteva i Massaguer (presid.), Luis Alonso Romero (secret.), Buenaventura Verdú i Solans (voc.), Stefano Aguzzuli (voc.), Enrique Alonso (voc.)
• Materias:
  • Lógica
    • Aplicaciones de la lógica
    • Lógica deductiva
      • Lógica matemática
  • Matemáticas
    • Análisis numérico
      • Ecuaciones lineales
• Texto completo no disponible (Saber más ...)
• Resumen

  • En este trabajo, investigamos la definibilidad de las clases de t-normas y uninormas en la lógica L @ P12, En particular, ofrecemos una caracterización completa del definibles continua t-normas, débil nilpotente normas mínimas t-, uninormas conjuntivo continua en [0,1), y uninormas conjuntiva idempotente, y dar tanto positivos como negativos resultados relativos a definibilidad de t de izquierda continua -normas (y uninormas). Demostramos que la clase de uninormas definibles es cerrado bajo los métodos de construcción como la aniquilación, la rotación y la aniquilación de rotación. Además, probamos que todo lógica basada en una uninorm definibles en PSPACE, y que toda la lógica de un número finito de axiomatizable basado en una clase de uninormas definibles es decidible. Por último se muestra que la Uninorm Mingle Lógica (UML) y de base Uninorm Lógica (BUL) son un número finito de wrt completa fuertemente estándar relacionados con la clase de definibles uninormas conjuntiva izquierda continua.