membro de Computability, Approximate Reasoning, Ordered structures and Logics Grupo de Pesquisa Núcleo de Ensino e Aprendizado Interdisciplinar Grupo de Pesquisa