Extensiones del sistema l3 de lógica trivalente

• Autores: Jaime Sarabia Álvarez-Ude
• Directores de la Tesis: José Hierro Sánchez-Pescador (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1981
• Idioma: español
• Tribunal Calificador de la Tesis: Leopoldo Palacios Rodríguez (presid.), Alfonso García Suárez (secret.), Sergio Rábade Romeo (voc.), Manuel Garrido González (voc.), José Hierro Sánchez-Pescador (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Teoría de modelos
• Enlaces
  • Tesis en acceso abierto en: Docta Complutense (pdf)
• Resumen

  • EN LA TESIS SE DESARROLLAN TEMAS FORMALES SOBRE LA LOGICA L3 SE DEFINEN Y ESTUDIAN CALCULOS DE DEDUCCION NATURAL AXIOMATICOS Y SECUENCIALES Y CIERTOS TEOREMAS DE LA TEORIA DE MODELOS PARA L3 COMO LOS TEOREMAS DE INTERPOLACION DEFINIBILIDAD Y CONSISTENCIA