PhD school: LÓGICA Y FILOSOFÍA DE LA CIENCIA

Area: Logic and Philosophy of Science

Research group: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA

Email: josejaviergl@usal.es

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 Manzano, Dr. Andrei Moldovan.