Estudio del lema de interpolación en el contexto de diversos lenguajes formales

  1. Corredor Lanas, Cristina
unter der Leitung von:
  1. Huberto Marraud Doktorvater/Doktormutter

Universität der Verteidigung: Universidad Autónoma de Madrid

Jahr der Verteidigung: 1991

Gericht:
  1. Jorge Pérez Ballestar Präsident/in
  2. Juan Barba Escribá Sekretär/in
  3. José Manuel Méndez Rodríguez Vocal
  4. Alfredo Burrieza Muñiz Vocal
  5. María Gracia Manzano Arjona Vocal

Art: Dissertation

Teseo: 32132 DIALNET

Zusammenfassung

LA TESIS CONSISTE EN UNA PRESENTACION SISTEMATIZADA DEL LEMA DE INTERPOLACION, ANALIZANDO LOS RASGOS SINTACTICOS Y SEMANTICOS QUE DETERMINAN SU SATISFACCION, SU FALLO EN UNA SERIE DE LOGICAS: LOGICA CLASICA, MODAL, RELEVANTE, DE SEGUNDO ORDEN, INTUICIONISTA. SE PRESENTA FINALMENTE ,COMO RESULTADO ORIGINAL, UNA PRUEBA Y ANALISIS DEL FALLO DE ESTE LEMA EN SISTEMAS INTERMEDIOS DE M. MANZANO (2 ORDEN NO-ESTANDAR).