ALGEBRA DE BOOLE

Autor: GARCIA OLMEDO FRANCISCO MIGUEL.
Año: 1993.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ALGEBRA PROGRAMA DE DOCTORADO: ALGEBRA.

Resumen: EN LA MEMORIA SE EFECTUA UN ESTUDIO DE LAS ALGEBRAS TEMPORALES. EN EL MISMO SE CONCRETAN DIVERSOS RESULTADOS SOBRE LA ARITMETICA DE LAS OPERACIONES TEMPORALES Y PROPIEDADES DE LAS CONGRUENCIAS. EL ESTUDIO DE LAS CONGRUENCIAS A SU VEZ, DEDICA UNA PARTE A LAS IRREDUCIBLES, COMPLETAMENTE IRREDUCIBLES Y MAXIMALES. SE DA IGUALMENTE UNA CARACTERIZACION DE LAS ALGEBRAS TEMPORALES SIMPLES Y UNA AMPLIA GAMA DE ALGEBRAS SEMISIMPLES. EL RESTO DEL TRABAJO SE DEDICA A DAR TEOREMAS DE ESTRUCTURA PARA ALGEBRAS TEMPORALES LIBRES Y EL ESTUDIO DE ALGUNAS SUBVARIEDADES. ENTRE OTRAS CONSECUENCIAS SE OBTIENE UN RECUENTO DE LOS ATOMOS DE ALGEBRAS TEMPORALES LIBRES CUANDO LOS HAY. FINALMENTE, SE HACE UN ESTUDIO COMPUTACIONAL DE LAS ALGEBRAS TEMPORALES FINITAS INCLUYENDO UNA IMPLEMENTACION EN LENGUAJE C.

Autor: CALVO SANCHEZ TOMASA.
Año: 1988.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: EL TRABAJO PRESENTADO, SE ENMARCA DENTRO DE LA LOGICA POLIVALENTE FUNDAMENTALMENTE, HACIENDO REFERENCIA EN ESPECIAL A LOS CONJUNTOS DIFUSOS UTILIZANDO OPERADORES CONJUNCION Y DIFUSION, CON LOS QUE LA ESTRUCTURA DE RETICULO, BASE DE LA LOGICA BOOLEANA, NO SE MANTIENE, PERO SE CONSIGUEN ESTRUCTURAS ALGEBRAICAS MAS FLEXIBLES, NO OBSTANTE SI SE MANTIENE CON ESTAS CONECTIVAS LA ESTRUCTURA BASICA DENOMINADA TERNAS DE DE MORGAN. A PARTIR DE ESTAS CITADAS TERNAS DE DE MORGAN, EL TRABAJO OFRECE UN ESTUDIO EN PROFUNDIDAD, DE LAS LLAMADAS TERNAS DE DE MORGAN GENERALIZADAS, CONSTRUIDAS POR MEDIO DE LA COMBINACION DE DISTINTOS OPERADORES, COMO SON LAS T-NORMAS, T-CONORMAS, FUNCIONES DE AGREGACION, MEDIAS CASI-ARITMETICAS Y FUNCIONES LC, QUE GENERALIZAN DE ALGUNA MANERA LAS CONECTIVAS Y Y O, CONJUNTAMENTE CON UNA NEGACION FUERTE QUE GENERALIZA EL NO. LOS RESULTADOS OBTENIDOS, QUE AVALAN TODO LO ANTERIOR, ESTAN EXPRESADOS POR MEDIO DE TEOREMAS, OBTENIDOS POR MEDIO DE LA RESOLUCION DE GRAN NUMERO DE ECUACIONES FUNCIONALES. EN DEFINITIVA, EL TRABAJO, ABRE UNA VIA IMPORTANTE EN AREAS DE GRAN INTERES EN LA CIENCIA, ESPECIALMENTE EN INTELIGENCIA ARTIFICIAL.

Autor: JANSANA FERRER RAMON.
Año: 1981.
Universidad: BARCELONA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACION UNIVERSIDAD DE BARCELONA DEPARTAMENTO DE LOGICA..

Resumen: EN ESTA TESIS SE PRESENTAN FUNDAMENTALMENTE DOS RESULTADOS NUEVOS EN EL CONTEXTO DE LA APLICABILIDAD DEL METODO DE LOS MODELOS BOOLEANOS A LA OBTENCION DE PRUEBAS METATEORICAS PARA TEORIAS IMPREDICATIVAS DE CLASES. TALES RESULTADOS SON LOS SIGUIENTES: 1) LA ADAPTACION DE LOS MODELOS BOOLEANOS PARA EL ESTUDIO DE LA TEORIA DE CONJUNTOS DE KELLEY Y MORSE EN EL CASO EN QUE EL ALGEBRA QUE DETERMINA EL MODELO ES UN CONJUNTO (NO UNA CLASE PROPIA). 2) UNA SERIE DE PRUEBAS DE INDEPENDENCIA Y CONSISTENCIA RELATIVA RESPECTO A LA TEORIA DE KELLEY Y MORSE UTILIZANDO LA ADAPTACION DEL METODO DE LOS MODELOS BOOLEANOS MENCIONADA ANTERIORMENTE. EN PARTICULAR SE PRESENTA UNA PRUEBA DE LA INDEPENDENCIA DE LA HIPOTESIS GENERALIZADA DEL CONTINUO.