Tesis doctoral de Cristina Corredor Lanas
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).
Datos académicos de la tesis doctoral «Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.«
- Título de la tesis: Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
- Autor: Cristina Corredor Lanas
- Universidad: Autónoma de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Humberto Marraud Gonzalez
- Tribunal
- Presidente del tribunal: Jorge Perez Ballestar
- Alfredo Burrieza Muñiz (vocal)
- Mendez Rodriguez José Manuel (vocal)
- María Manzano Arjona (vocal)