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

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