Extensiones del sistema l3 de lógica trivalente
- José Hierro Sánchez-Pescador Directeur/trice
Université de défendre: Universidad Complutense de Madrid
Année de défendre: 1981
- Leopoldo Palacios Rodríguez President
- Alfonso García Suárez Secrétaire
- Sergio Rábade Romeo Rapporteur
- Manuel Garrido González Rapporteur
- José Hierro Sánchez-Pescador Rapporteur
Type: Thèses
Résumé
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