![Foto de JOSÉ JAVIER](/img/uploaded/9d56868372ef241fa39f57c1cae13ade.jpg)
JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
Escuela de doctorado: LÓGICA Y FILOSOFÍA DE LA CIENCIA
Área: Lóxica e Filosofía da Ciencia
Grupo de investigación: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
Correo el.: josejaviergl@usal.es
Doutor pola Universidad de Salamanca coa tese Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirixida por Dra. María Gracia Manzano Arjona, Dr. Andrei Moldovan.