JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
Área: Lógica y Filosofía de la Ciencia
Grupo de investigación: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
Email: josejaviergl@usal.es
Doctor por la Universidad de Salamanca con la tesis Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirigida por Dra. María Manzano, Dr. Andrei Moldovan.