Área: Lóxica e Filosofía da Ciencia

Grupo de investigación: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA

Correo el.: josejaviergl@usal.es

Doutor pola Universidad de Salamanca coa tese Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirixida por Dra. María Manzano, Dr. Andrei Moldovan.