TY  - THES 
A3  - Manzano Arjona, María Gracia
AU  - Ordóñez Miguéns, Ismael
PY  - 2018
UR  - http://hdl.handle.net/10366/140424
AB  - [ES] En la actualidad la lógica se constituye como una disciplina intrínsecamente plural, albergando diversos sistemas diseñados para razonar sobre objetos muy diferentes. En este contexto las traducciones han venido cobrando cada vez un mayor...
AB  - [EN] Nowadays logic is constituted as an intrinsically plural discipline, which harbors a variety of systems designed to reasoning about very different objects. In this context translations have become increasingly important, hoping for a better...
LA  - spa
KW  - RC-morfismo
KW  - Comorfismo
KW  - Sistema educativo etiquetado
KW  - Teoría de la correspondencia
KW  - Entailment relation-morphism
KW  - Comorphism
KW  - Labelled deductive system
KW  - Correspondence theory
TI  - Traducciones lógicas: de la lógica híbrida de segundo orden a la lógica multivariada
M3  - info:eu-repo/semantics/masterThesis
ER  -