Extensiones del sistema l3 de lógica trivalente

  1. Sarabia Álvarez-Ude, Jaime
Dirigida per:
  1. José Hierro Sánchez-Pescador Director/a

Universitat de defensa: Universidad Complutense de Madrid

Any de defensa: 1981

Tribunal:
  1. Leopoldo Palacios Rodríguez President/a
  2. Alfonso García Suárez Secretari/ària
  3. Sergio Rábade Romeo Vocal
  4. Manuel Garrido González Vocal
  5. José Hierro Sánchez-Pescador Vocal

Tipus: Tesi

Resum

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