, Grupo de Lógica, Lenguaje e Información. Universidad de Sevilla, España