JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
Publicaciones (2) Publicaciones de JOSÉ JAVIER GONZÁLEZ LÓPEZ
2021
-
Una traducción de la teoría de tipos proposicional (PTT) a la lógica multivariada de primer orden (MSL)
Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021
2020
-
Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden
El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas (Universidad de Valparaiso), pp. 43-64