Domaine: Lógica y Filosofía de la Ciencia

Groupe de recherche: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA

Email: josejaviergl@usal.es

Docteur à l Universidad de Salamanca avec la thèse Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirigée par Dra. María Manzano, Dr. Andrei Moldovan.