LOGICA MATEMATICA
Página 1 de 1. Mostramos 18 registros (del 1 al 18) de un total de 18
-
Autor: MEDINA BULO INMACULADAAño: 2003Universidad: SEVILLAResumenEn este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del algoritmo de Buchberger para el cálculo de bases de Gröbner, utilizando para ... [Sigue]
-
Autor: ROSELLÓ MOYA JOANAño: 2002Universidad: BARCELONAResumenEn nuestro trabajo hemos pretendido hacer un recorrido histórico por algunos de los principales desarrollos que tuvieron lugar en el campo de la lógica y los fundamentos de las matemáticas en la ... [Sigue]
-
Autor: GUTIÉRREZ NARANJO MIGUEL ANGELAño: 2001Universidad: SEVILLAResumenEn esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información está expresada en lenguaje clausal. Para ello hemos definido unos oper ... [Sigue]
-
Autor: ÁLVAREZ CAÑAS IGNACIO JOSÉAño: 2001Universidad: POLITECNICA DE VALENCIAResumenEn este trabajo se implican las conclusiones de Gödel, mediante el estudio de la clase de los p-sistemas, que hemos definido a partir de los sistemas de producción de Post, proponiendo, entonces, ... [Sigue]
-
Autor: BOSCH BASTARDAS ROGERAño: 2001Universidad: BARCELONAResumenEN ESTA TESIS SE ESTUDIAN LOS ÓRDENES PARCIALES PROYECTIVOS; ESTO ES, LOS ÓRDENES PARCIALES EN EL PLANO REAL QUE SON DEFINIBLES MEDIANTE FÓRMULAS CUYOS CUANTIFICADORES VARÍAN SÓLO SOBRE NÚMEROS ... [Sigue]
-
Autor: ADILLON BOLADERES ROMÁ JORDIAño: 2000Universidad: BARCELONAResumenEsta tesis está dedicada al estudio de ciertas lógicas subestructurales en el contexto de la lógica algebraica abstracta. En particular, se estudian las lógicas subestructurales obtenidas al eli ... [Sigue]
-
Autor: RODRÍGUEZ PENABAD MIGUELAño: 2000Universidad: A CORUÑAResumenEn esta tesis se presenta un procedimiento sintáctico que permite comprobar si una consulta Q esta incluida en otra consulta Q'. Para ello se consideran los dos siguientes factores. La presencia de ... [Sigue]
-
Autor: RUIZ REINA JOSE LUISAño: 2000Universidad: SEVILLAResumenEl objetivo principal de la Tesis es el desarrollo de una teoria computacional acerca de la logica ecuacional, usando para ello el sistema ACL2. Es decir, se usa ACL2 para definir formalmente algorit ... [Sigue]
-
TEORÍAS DE LA VERDAD PARA LENGUAJES AUTORREFERENTES: UNA SOLUCIÓN PARCIAL AL PROBLEMA DEL PUNTO FIJOAutor: MARTINEZ FERNANDEZ JOSEAño: 1999Universidad: VALENCIAResumenEl trabajo es una contribución al proyecto del diseño y la justificación de teorías de la verdad para lenguajes autorreferentes formalizados. Estas teorías se enfrentan al surgimiento de oracion ... [Sigue]
-
Autor: GISPERT BRASO JOANAño: 1998Universidad: BARCELONAResumenEl objetivo principal de la tesis es estudiar las extensiones de los calculos multivalentes de Lukasiewicz. A partir de la teoria de algebrización de Blok y Pigozzi para logicas proposicionales fini ... [Sigue]
-
Autor: OJEDA ACIEGO MANUELAño: 1995Universidad: MALAGAResumenEN LA LOGICA DE PRIMER ORDEN LA OBTENCION DE FORMAS NORMALES ES UN PRERREQUISITO DE LOS METODOS DE DEMOSTRACION MAS EFICACES; PERO USUALMENTE LOS ALGORITMOS QUE REALIZAN ESA TAREA SON LA PARTE MAS DE ... [Sigue]
-
Autor: BORREGO DIAZ JOAQUINAño: 1993Universidad: SEVILLAResumenENTRE LOS NUEVOS RESULTADOS QUE SE OBTIENEN EN ESTE TRABAJO CABEN DESTACAR: - RELACIONES ENTRE LOS ESQUEMAS DE INDUCCION, MINIMIZACION Y EL PRINCIPIO DE OVERSPILL PARA FORMULAS ACOTADAS, ESPECIALMENT ... [Sigue]
-
Autor: RODRIGUEZ PEREZ GONZALOAño: 1989Universidad: BARCELONAResumenEL OBJETIVO DE ESTA TESIS ES EL ESTUDIO ALGEBRAICO Y ABSTRACTO DEL CALCULO R DE LA RELEVANCIA: ESTUDIO ALGEBRAICO A PARTIR DE SUS MODELOS ALGEBRAICOS, Y ABSTRACTO A TRAVES DE LAS LOGICAS ABSTRACTAS A ... [Sigue]
-
Autor: CLIMENT VIDAL JUAN BLASAño: 1988Universidad: VALENCIAResumenESTA MEMORIA CONSTA DE CUATRO CAPITULOS, EN EL PRIMERO, POR UNA PARTE, SE COMPLETA LA TEORIA DE LAS INSTITUCIONES DE GOGUEN Y BURSTALL, HASTA UNA 2-CATEGORIA, INTRODUCIENDO UNA NOCION DE MORFISMO ENT ... [Sigue]
-
Autor: CASANOVAS RUIZ FORNELLS ENRIQUEAño: 1986Universidad: BARCELONAResumenSE ESTUDIAN CIERTAS VERSIONES DEL TEOREMA DE COMPACIDAD Y DEL TEOREMA DE COMPLETUD EN SU APLICACION A EXTENSIONES DE LA LOGICA DE PRIMER ORDEN. CONCRETAMENTE SE CONSIDERAN M-LOGICAS Y K-LOGICAS DONDE ... [Sigue]
-
Autor: RODRIGUEZ SALAS ANTONIO JESUSAño: 1980Universidad: BARCELONAResumenTRAS UNA BREVE PRESENTACION DE LAS ALGEBRAS DE SALES ASOCIADAS A LA PARTE IMPLICATIVA DEL CALCULO PROPOSICIONAL INFINITO VALENTE DE LUKASIEWICZ SE ESTUDIAN LAS PROPIEDADES LOGICO-ALGEBRAICAS MAS IMPO ... [Sigue]
-
Autor: TORRENS TORRELL ANTONIOAño: 1979Universidad: BARCELONAResumenSE OBTIENEN Y ESTUDIAN LAS ALGEBRAS D-COMPLETAS COMO LAS ALGEBRAS IMPLICATIVAS ASOCIADAS A CIERTOS CALCULOS PROPOSICIONALES IMPLICATIVOS. QUE SATISFACEN UN TEOREMA DE LA DEDUCCION DEBIL Y CONTIENEN A ... [Sigue]
-
Autor: LEACH ALDERT JAVIERAño: 1977Universidad: COMPLUTENSE DE MADRIDResumenSIMPLIFICACION Y UNIFICACION DE LA DEMOSTRACION DE LOS TEOREMAS DE DEFINIBILIDAD DE BETH SUENONIUS CHANG-MAKKAI Y KUEKER. DEMOSTRACION DEL TEOREMA DE CHANG-MAKKAI SIN UTILIZAR MODELOS ESPECIALES O MO ... [Sigue]