Palavra-chave: LÓGICAS NÃO-CLÁSSICAS

FIBRILAÇÃO COMPLETUDE COMBINAÇÕES ENTRE LÓGICAS TRADUÇÕES ENTRE SISTEMAS LÓGICOS LÓGICAS MODULADAS MATEMÁTICA DIFUSA TRATAMENTO DE IMAGENS LÓGICAS DA INCONSISTÊNCIA FORMAL SEMÂNTICAS DE TRADUÇÕES POSSÍVEIS ABDUÇÃO REVISÃO DE CRENÇAS LÓGICAS PARACONSISTENTES IMPLICATURAS