Extensiones del sistema l3 de lógica trivalente

  1. Sarabia Álvarez-Ude, Jaime
Zuzendaria:
  1. José Hierro Sánchez-Pescador Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1981

Epaimahaia:
  1. Leopoldo Palacios Rodríguez Presidentea
  2. Alfonso García Suárez Idazkaria
  3. Sergio Rábade Romeo Kidea
  4. Manuel Garrido González Kidea
  5. José Hierro Sánchez-Pescador Kidea

Mota: Tesia

Teseo: 5274 DIALNET lock_openDocta Complutense editor

Laburpena

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