Área de investigación de Manuel Sierra-Aristizabal, Investigador independiente (Lógicas no clásicas), Universidad Eafit