Palavra-chave: LOGICAS ALGEBRIZAVEIS

COMBINAÇÕES ENTRE LÓGICAS LÓGICA A MÚLTIPLOS VALORES LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA MODAL ESTRUTURAS ORDENADAS ÁLGEBRAS MODAIS ÁLGEBRAS DE BOOLE COM OPERADORES LÓGICA PARACONSISTENTE LÓGICA DE PRIMEIRA ORDEM SEMÃNTICA DE TRADUÇÕES POSSÍVEIS FIBRILAÇÃO DE LÓGICAS TRADUÇÕES ENTRE LÓGICAS LÓGICAS NÃO-CLÁSSICAS LÓGICA E TEORIA DE CATEGORIAS LÓGICAS ABSTRATAS TEORIA DA PROVA