Estudio del lema de interpolación en el contexto de diversos lenguajes formales

• Autores: Cristina Corredor Lanas
• Directores de la Tesis: Huberto Marraud (dir. tes.)
• Lectura: En la Universidad Autónoma de Madrid ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Jorge Pérez Ballestar (presid.), Juan Barba Escribá (secret.), José Manuel Méndez Rodríguez (voc.), Alfredo Burrieza Muñiz (voc.), María Manzano (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica formal
      • Lenguajes formales
• Texto completo no disponible (Saber más ...)
• Resumen

  • LA TESIS CONSISTE EN UNA PRESENTACION SISTEMATIZADA DEL LEMA DE INTERPOLACION, ANALIZANDO LOS RASGOS SINTACTICOS Y SEMANTICOS QUE DETERMINAN SU SATISFACCION, SU FALLO EN UNA SERIE DE LOGICAS: LOGICA CLASICA, MODAL, RELEVANTE, DE SEGUNDO ORDEN, INTUICIONISTA.

    SE PRESENTA FINALMENTE ,COMO RESULTADO ORIGINAL, UNA PRUEBA Y ANALISIS DEL FALLO DE ESTE LEMA EN SISTEMAS INTERMEDIOS DE M. MANZANO (2 ORDEN NO-ESTANDAR).