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

Abstract

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.