Tesis doctoral de Sarabia Alvarez Hude E. Jaime
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
Datos académicos de la tesis doctoral «Extensiones del sistema l3 de logica trivalente.«
- Título de la tesis: Extensiones del sistema l3 de logica trivalente.
- Autor: Sarabia Alvarez Hude E. Jaime
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1981
Dirección y tribunal
- Director de la tesis
- pescador Hierro Sanchez
- Tribunal
- Presidente del tribunal: Leopoldo Palacios Rodriguez
- Manuel Garrido (vocal)
- Sergio Rabade Romeo (vocal)
- José Hierro Sanchez-pescador (vocal)