área de pesquisa ESTUDO NUMÉRICO DE INUNDAÇÕES NO ALTO VALE DO ITAJAÍ - SC Grupo de Matemática Aplicada e Computacional da UFAC - GMAUFAC Rui Eduardo Brasileiro Paiva Uma extensão de overlap e naBL-Álgebras para reticulados