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)
[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 s...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2023 |
| País: | España |
| Institución: | Universidad de Salamanca (USAL) |
| Repositorio: | GREDOS. Repositorio Institucional de la Universidad de Salamanca |
| OAI Identifier: | oai:gredos.usal.es:10366/152973 |
| Acceso en línea: | http://hdl.handle.net/10366/152973 |
| Access Level: | acceso abierto |
| Palabra clave: | Tesis y disertaciones académicas Universidad de Salamanca (España) Tesis Doctoral Academic dissertations Filosofía de la ciencia traducción 11 Lógica |
| Sumario: | [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. |
|---|