Extensiones del sistema l3 de lógica trivalente
- José Hierro Sánchez-Pescador Director
Defence university: Universidad Complutense de Madrid
Year of defence: 1981
- Leopoldo Palacios Rodríguez Chair
- Alfonso García Suárez Secretary
- Sergio Rábade Romeo Committee member
- Manuel Garrido González Committee member
- José Hierro Sánchez-Pescador Committee member
Type: Thesis
Abstract
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