Bereich: Logik und Wissenschaftstheorie

Forschungsgruppe: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA

Email: josejaviergl@usal.es

Doktor von der Universidad de Salamanca mit der Dissertation Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. unter der Leitung von Dr. María Manzano, Dr. Andrei Moldovan.