LOGICA DEDUCTIVA

• ESTUDI I ALGEBRAITZACIO DE CERTES LOGIQUES: ALGEBRES D-COMPLETES.
  Autor: TORRENS TORRELL ANTONIO
  Año: 1979
  Universidad: BARCELONA
  Resumen

  SE 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]
• SOBRE ULTRAPRODUCTOS DE ESPACIOS DE BANACH EN CUERPOS NO ARQUIMEDIANOS.
  Autor: RAMIREZ LABRADOR JOSE
  Año: 1979
  Universidad: SEVILLA
  Resumen

  ESTA DEDICADO A INTRODUCIR LOS ULTRAPRODUCTOS EN ESPACIOS NORMADOS SOBRE CUERPOS NO ARQUIMEDIANOS NO DISCRETOS. DAMOS UN LENGUAJE LOGICO L CON 4 PREDICADOS UNITARIOS UN PREDICADO BINARIO Y DIVERSAS F ... [Sigue]
• UNA TEORIA DE TIPOS ESTRUCTURADOS DE DATOS.
  Autor: OREJAS VALDES FERNANDO
  Año: 1979
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  PRESENTACION DE UN NUEVO METODO PARA LA ESPECIFICACION DE TIPOS ESTRUCTURADOS DE DATOS BASADO EN SU DEFINICION COMO ESPACIOS DE FUNCIONES. SIENDO SUS PRINCIPALES CARACTERISTICAS LA CONSTRUCTIVIDAD Y ... [Sigue]
• TEORIA DE MODELOS EN LA FONOLOGIA DEL ESPAÑOL ACTUAL.
  Autor: PINEDA PEREZ MIGUEL ANGEL
  Año: 1978
  Universidad: SEVILLA
• LENGUAJE APL E IMPLICACIONES EN LOGICA SIMBOLICA.
  Autor: LORENTE TALLADA JUAN MANUEL
  Año: 1978
  Universidad: VALENCIA
  Resumen

  EL TRABAJO CONSISTE EN LA PRESENTACION DE UN CALCULO QUE ARITMETIZA EL METODO DE RESOLUCION DE ROBINSON. SE PRESENTA PARA EL CALCULO PROPOSICIONAL Y SE AMPLIA AL CALCULO DE PREDICADOS PREVIA NORMALIZ ... [Sigue]
• UN METODO DE APROXIMACIONES FINITAS EN LA LOGICA DE PRIMER ORDEN.
  Autor: RODRIGUEZ ARTALEJO MARIO
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SE PARTE DE TRABAJOS DE J. HINTIKKA WISCHONFELD Y T. WOLF SOBRE LA FORMA NORMAL DISTRIBUTIVA LA CARACTERIZACION DE FRAISSE DE LA EQUIVALENCIA ELEMENTAL Y LA APLICACION DE ESTAS TECNICAS AUN TRATAMIEN ... [Sigue]
• DEFINIBILIDAD MEDIANTE R-TIPOS DE N-ISOMORFIA.
  Autor: LEACH ALDERT JAVIER
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SIMPLIFICACION 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]
• UNA TECNICA PARA EL ESTUDIO DE RELACIONES ENTRE ESTRUCTURAS PARA LENGUAJES CON VARIAS CLASES DE VARIABLES.
  Autor: HORTALA GONZALEZ M. TERESA
  Año: 1977
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL ... [Sigue]