APLICACIONES DE LA LOGICA

Autor: GARCIA AMENGUAL CARLES.
Año: 1991.
Universidad: ISLAS BALEARES.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENT DE MATEMATIQUES I INFORMATICA DE LA UNIVERSIDAD DE LAS ISLAS BALEARES..

Resumen: ESTA TESIS DOCTORAL PRESENTA UNA APROXIMACION ALGEBRAICA A LA LOGICA DEFAULT, INTRODUCIDA A PARTIR DE LOS SISTEMAS DE INFORMACION DE DANA SCOTT, DESPUES DE ESTUDIAR, SOBRE ALGEBRAS UNIVERSALES, LAS N-CADENAS DE LOS SISTEMAS DE INFORMACION.PARA ELLO SE AMPLIAN LAS PROPIEDADES Y LOS TEOREMAS DE LOS SISTEMAS Y SE ESTUDIA LA INFORMACION SACADA DE UN CONJUNTO CUALQUIERA, DE UN CONJUNTO DEDUCTIVAMENTE CONSISTENTE Y DE UN CONJUNTO DEDUCTIVAMENTE CERRADO. EL ESTUDIO DE LAS N-CADENAS SOBRE EL ALGEBRA UNIVERSAL ASOCIADA A UN CONJUNTO SE HACE MEDIANTE 12 APROXIMACIONES HASTA LLEGAR AL TEOREMA DE REITER.

Autor: JACAS MORAL JOAN.
Año: 1986.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: ESCOLA TECNICA SUPERIOR D'ARQUITECTURA DE BARCELONA .

Resumen: EN ESTA MEMORIA SE ESTUDIAN LAS RELACIONES DE T-EQUIVALENCIA Y TIENE POR OBJETO ANALIZAR LA ESTRUCTURA DE DICHOS OPERADORES SU RELACION CON UN CIERTO TIPO DE DISTANCIAS GENERALIZADAS EN EL SEGMENTO UNIDAD Y CARACTERIZAR LAS PARTICIONES ASOCIADAS.DESPUES DE UN CAPITULO PRELIMINAR EL SEGUNDO CAPITULO PRESENTA DOS VERTIENTES: LA PRIMERA DONDE SE ESTUDIA LA ESTRUCTURA DE LA FAMILIA DE GENERADORES DE UNA T-EQUIVALENCIA EN EL SENTIDO DEL TEOREMA DE REPRESENTACION. SE CARACTERIZAN LOS GENERADORES Y SE DAN CONDICIONES NECESARIAS Y SUFICIENTES PARA LAS T-EQUIVALENCIAS UNIDIMENSIONALES. ESTE ESTUDIO ESTRUCTURAL CONDUCE AL CAMPO DE LAS TOPOLOGIAS DIFUSAS EN EL SENTIDO DE R. LOWEN ESTE ASPECTO TOPOLOGICO ES PROFUNDIZADO EN EL TERCER CAPITULO. LA SEGUNDA LINEA DE TRABAJO ESTUDIA LAS TRANSFORMACIONES DE T-EQUIVALENCIAS MEDIANTE FUNCIONES EN (0 1) Y SE ESTABLECE UNA CLASIFICACION EN FUNCION DE LA T-NORMA EMPLEADA. EN EL TERCER CAPITULO SE ESTUDIA LA RELACION EXISTENTE ENTRE LAS T-EQUIVALENCIASY UN TIPO DE DISTANCIAS GENERALIZADAS A VALORES EN (0 1) DENOMINADAS S-METRICAS. SE DA UN TEOREMA DE REPRESENTACION DE S-METRICAS PARTIENDO DEL CONCEPTO DE S-METRICA NATURAL. SE HACE UN ESTUDIO EN PROFUNDIDAD DE LAS TOPOLOGIAS DIFUSAS ASOCIADAS A UNA S-METRICA Y SE RELACIONAN CON LAS CORRESPONDIENTES TOPOLOGIAS S-METRICAS. EL CAPITULO SE CONCLUYE CON UN TEOREMA DE S-METRIZACION DE UNIFORMIDADES CLASICAS QUE COMPLETA LOS RESULTADOS EXISTENTES SOBRE ESTE TEMA. EL CUARTO CAPITULO ABORDA EL ESTUDIO Y CARACTERIZACION DE LAS CLASIFICACIONES DIFUSAS ASOCIADAS A UNA T-EQUIVALENCIA. SE DA UNA DEFINICION DE CLASIFICACION ASOCIADA A UNA S-METRICA Y SE HACE UN ESTUDIO DE LAS RELACIONES QUE DICHAS CLASIFICACIONES DETERMINAN. EL ULTIMO CAPITULO ESTA DEDICADO A ALGORITMOS APLICACIONES Y EJEMPLOS. SE ESTABLECEN DOS ALGORITMOS PARA EL CALCULO EFECTIVO DE UN SISTEMA MINIMO DE GENERADORES DE UNA SIMILITUD SE DAN MODELOS Y EJEMPLOS DE CLASIFICACIONES DIFUSAS BASADAS EN RESULTADOS DEL CAPITULO ANTERIOR Y SE ESTABLECE UN CRITERIO PARA LA REDUCCION DEL NUMERO DE CLUSTERS .

Autor: SALES PORTA ANTONIO.
Año: 1981.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAT D INFORMATICA.

Resumen: LAS LOGICAS MULTIVALENTES ORDINARIAS (LUKASIEWICZ POST KLEENE ETC) NO ADMITEN ENTRE SUS POSTULADOS NI EL PRINCIPIO DE NO-CONTRADICCION NI EL DEL TERCIO EXCLUSO. TRAS UNA CRITICA A ESTAS LOGICAS SE DESARROLLA UNA LOGICA PROPIA QUE ES BOOLEANA Y ADMITE AMBOS PRINCIPIOS DENTRO DE SU AXIOMATICA.