research line of Semântica para lógicas não clássicas Grupo de Pesquisa Teoria da Computabilidade Grupo de Pesquisa
