2026-09-14T06:10:22Zhttps://gredos.usal.es/oai/requestoai:gredos.usal.es:10366/1529732025-04-30T20:55:19Zcom_10366_121440com_10366_4746com_10366_3823com_10366_141077com_10366_123103col_10366_122456col_10366_143107
Manzano Arjona, María Gracia
Moldovan, Andrei
González López, José Javier
2023-07-21T10:30:42Z
2023-07-21T10:30:42Z
2023
http://hdl.handle.net/10366/152973
[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.
spa
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
Tesis y disertaciones académicas
Universidad de Salamanca (España)
Tesis Doctoral
Academic dissertations
Filosofía de la ciencia
traducción
11 Lógica
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)
Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL)
info:eu-repo/semantics/doctoralThesis