Home
Program
Research Lines
Research Projects
Proy. Investigación en curso
Histórico de Proy. Investigación
Grupos de Investigacion
Comisiones
Comisión Académica
Comisión de Calidad
Comisión de Seguimiento
History
Enrollment
Admission profile, tutor and director
Pre-enrolment & Enrolment
Dedication System
Lecturers
Antiguo Profesorado
Profesorado
Profesorado Externo
Thesis
Documents PhD Activities
Research Plan
Educational Activities
Deposit & Defense
International PhD
Doctorandos EN
PhD Students
Alumni
PhD Thesis
Defended PhD Thesis
Current PhD Thesis
Encuentros de Doctorado EN
Normativa EN
Scholarships
Useful Info
Contact
You are here
José Javier González López
José Javier González López
Research Area:
Argumentación y Lógica
Institution:
Universidad de Salamanca
Programa:
Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia (99/2011)
Director/a Doctorado:
Moldovan, Andrei
Manzano Arjona, María
PhD Thesis:
Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) a la lógica multivariada de primer orden (MSL)