Tesis doctoral de Enrico Marchioni
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.
Datos académicos de la tesis doctoral «Non classical systems for uncertain reasoning: non monotonic logics with non classical bases«
- Título de la tesis: Non classical systems for uncertain reasoning: non monotonic logics with non classical bases
- Autor: Enrico Marchioni
- Universidad: Salamanca
- Fecha de lectura de la tesis: 26/11/2006
Dirección y tribunal
- Director de la tesis
- María Manzano Arjona
- Tribunal
- Presidente del tribunal: francesc Esteva massaguer
- stefano Aguzzuli (vocal)
- enrique Alonso gonzalez (vocal)
- buenaventura Verdu solans (vocal)