EXTENSIONES DEL SISTEMA L3 DE LOGICA TRIVALENTE.

Autor: SARABIA ALVAREZ HUDE E. JAIME
Año: 1980
Universidad: COMPLUTENSE DE MADRID
Centro de realización: UNIVERSIDAD COMPLUTENSE MADRID FAC. DE FILOSOFIA
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION
Director: HIERRO SANCHEZ PESCADOR JOSE
Tribunal: PALACIOS RODRIGUEZ LEOPOLDO , RABADE ROMEO SERGIO , GARRIDO MANUEL , HIERRO SANCHEZ-PESCADOR JOSE , GARCIA SUAREZ ALFONSO
Resumen de la tesis

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
Materias relacionadas