Extensiones del sistema l3 de lógica trivalente
- José Hierro Sánchez-Pescador Doktorvater/Doktormutter
Universität der Verteidigung: Universidad Complutense de Madrid
Jahr der Verteidigung: 1981
- Leopoldo Palacios Rodríguez Präsident/in
- Alfonso García Suárez Sekretär/in
- Sergio Rábade Romeo Vocal
- Manuel Garrido González Vocal
- José Hierro Sánchez-Pescador Vocal
Art: Dissertation
Zusammenfassung
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