TEORIA DE LA DEMOSTRACION

• IDEALES Y FILTROS DE IMPLICANTES/IMPLICADOS EN LÓGICAS TEMPORALES CON TIEMPO LINEAL Y DISCRETO
  Autor: CORDERO ORTEGA PABLO JOSE
  Año: 1999
  Universidad: MALAGA
  Resumen

  Enmarcado en el campo de los Fundamentos Matemáticos de la Demostración Automática, realiza un estudio de las lógicas temporales proposionales, extensiones de la lógica clásica, definidas como ... [Sigue]
• SISTEMES DE GENTZEN MULTIDIMENSIONALS I LOGIQUES FINITAMENT VALORADES. TEORIA I APLICACIONS.
  Autor: GIL ESTALLO ANGEL JAVIER
  Año: 1995
  Universidad: BARCELONA
  Resumen

  SE DEFINE SISTEMA DE GENTZEN M-DIMENSIONAL COMO UNA PAREJA FORMADA POR UN LENGUAJE PROPOSICIONAL Y UNA RELACION DE CONSECUENCIA FINITARIA Y ESTRUCTURAL SOBRE EL CONJUNTO DE M-SECUENTES, SIENDO UN M- ... [Sigue]
• UNA LOGICA COMPUTACIONAL CON POLIMORFISMO Y RECURSION Y UN SISTEMA DE DEDUCCION AUTOMATICA BASADO EN ELLA.
  Autor: NIEVA SOTO SUSANA
  Año: 1990
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  EN LA PRIMERA PARTE DE LA MEMORIA SE PRESENTA UNA LOGICA COMPUTACIONAL, QUE ES UNA LOGICA DE PREDICADOS CON IGUALDAD EXTENDIDA CON POLIMORFISMO Y RECURSION, JUNTO CON UN SISTEMA DE DEDUCCION NATURAL, ... [Sigue]
• "DE LA TEORIA DEL SIGNIFICADO EN PRAWITZ A LA BUSQUEDA INTELIGENTE DE PRUEBAS: UNA APLICACION DEL TEOREMA DE INVERSION A LA INTELIGENCIA ARTIFICIAL".
  Autor: MARTINEZ VIDAL M. CONCEPCION
  Año: 1988
  Universidad: VALENCIA
  Resumen

  LA TESIS COMPRENDE DOS PARTES CLARAMENTE DIFERENCIADAS. EN UNA PRIMERA PARTE SE PRESENTA LA FILOSOFIA DE LA LOGICA DE PRAWITZ; EN CONCRETO SE DESCRIBEN LOS PRINCIPALES RESULTADOS OBTENIDOS POR ESTE A ... [Sigue]