Resumen de tesis. Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL)

Abstract

[ES] Se establecen como objetivos: -Traducir EHPTT hacia MSL buscando definir una función de traducción con dominio en el conjunto de expresiones de EHPTT y rango en el de expresiones de MSL bajo una determinada signatura. -Conseguir analizar la metalógica de EHPTT a través de la traducción de sus sentencias en los tres niveles de traducción que se plantean en Manzano (1996, pp.263-276) y Manzano and Aranda (2022). El texto se estructura en seis capítulos, en donde el primero es de introducción y el último es el de conclusiones. Para los capítulos centrales, 2, 3, 4 y 5 se ofrecen cuatro apéndices, uno por cada uno de estos capítulos, en los que se han colocado las demostraciones de resultados, o esquemas de las demostraciones, más largas, menos importantes, más repetitivas o aquellas que simplemente se consideran que pueden interrumpir una lectura adecuada de este trabajo.