Lógica unidad y deducibilidad en sistemas

• Autores: Antonio Frías Delgado
• Lectura: En la Universidad de Granada ( España ) en 1987
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Garrido (presid.), R. Beneyto (voc.), Alfonso García Suárez (voc.), Javier Echeverría Ezponda (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica modal
• Texto completo no disponible (Saber más ...)
• Resumen

  • LA LOGICA MODAL DE LA DEMOSTRABILIDAD ES UN IMPORTANTE CAMPO DE LA LOGICA ACTUAL EN EL QUE LOS SISTEMAS MODALES SE UTILIZAN COMO INSTRUMENTO PARA ESTUDIAR LAS PROPIEDADES BASICAS DE LA DEDUCIBILIDAD O DEMOSTRABILIDAD EN OTROS SISTEMAS FORMALES PRINCIPALMENTE MATEMATICOS, EN ESTE TRABAJO (1) SE RECOPILA EL ABURVANTE MATERIAL EXISTENTE SOBRE EL TEMA; (2) SE CONTEXTUALIZAN HISTORICAMENTE LAS PRINCIPALES APORTACIONES; (3) SE CONSTRUYE UN CALCULO DE DEDUCCION NATURAL PARA LA LOGICA ESTANDAR DE LA DEMOSTRABILIDAD Y SE PRUEBAN SUS PROPIEDADES NETOLOGICAS Y ARITMETICAS (CORRECCION Y COMPLETUD MODALES Y ARITMETICAS); (4) SE CONSTRUYE UN CALCULO MODAL PARA REPRESENTAR DE MODO INTENSIONALMENTE CORRECTO LA PROPIA DEDUCIBILIDAD.