Publicaciones (2) Publicaciones de JOSÉ JAVIER GONZÁLEZ LÓPEZ

2021

  1. 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

  1. 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