TY  - THES 
A3  - Manzano Arjona, María Gracia
A3  - Moldovan, Andrei
AU  - González López, José Javier
PY  - 2023
UR  - http://hdl.handle.net/10366/152973
AB  - [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...
LA  - spa
KW  - Tesis y disertaciones académicas
KW  - Universidad de Salamanca (España)
KW  - Tesis Doctoral
KW  - Academic dissertations
KW  - Filosofía de la ciencia
KW  - traducción
TI  - 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)
T2  - Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL)
M3  - info:eu-repo/semantics/doctoralThesis
ER  -