Palavra-chave: LÓGICA A MÚLTIPLOS VALORES

CÁLCULO DE SEQUENTES LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA MODAL LOGICAS ALGEBRIZAVEIS ESTRUTURAS ORDENADAS ÁLGEBRAS MODAIS LÓGICA INTUICIONISTA LÓGICA PARACONSISTENTE LOGICAS PARACOMPLETAS LÓGICA ALGÉBRICA LÓGICAS DE LUKASIEWICZ NÚMEROS PRIMOS LÓGICA DIFUSA ESTRUTURAS SWAP LÓGICAS DA EVIDÊNCIA E VERDADE ESTRUTURAS TWIST TABLEAUX TEORIA DA PROVA LÓGICA NÃO-CLÁSSICA SEMÂNTICA DE VALORAÇÕES LÓGICA MATRICIAL COMBINAÇÕES ENTRE LÓGICAS FIBRING FIBRILAÇÃO DE LÓGICAS LINGUAGENS FORMAIS PROGRAMAÇÃO LÓGICA