Non classical systems for uncertain reasoningnon monotonic logics with non classical bases

  1. Marchioni, Enrico
Dirigée par:
  1. María Gracia Manzano Arjona Directrice
  2. Lluis Godo Lacasa Directeur/trice

Université de défendre: Universidad de Salamanca

Fecha de defensa: 26 novembre 2006

Jury:
  1. Francesc Esteva Massaguer President
  2. Luis Alonso Romero Secrétaire
  3. Enrique Alonso Rapporteur
  4. Stefano Aguzzuli Rapporteur
  5. Buenaventura Verdú Solans Rapporteur
Département:
  1. FILOSOFÍA, LÓGICA Y ESTÉTICA

Type: Thèses

Teseo: 292343 DIALNET

Résumé

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.