
JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Researcher in the period 2019-2023
PhD school: LÓGICA Y FILOSOFÍA DE LA CIENCIA
Area: Logic and Philosophy of Science
Research group: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
Doctor by the Universidad de Salamanca with the thesis Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Supervised by Dr. María Gracia Manzano Arjona, Dr. Andrei Moldovan.