Palavra-chave: LÓGICAS DA INCONSISTÊNCIA FORMAL

LOGICAS DA INCONSISTENCIA DEONTICA ÁLGEBRAS MODAIS LÓGICAS DA EVIDÊNCIA E VERDADE TRADUÇÕES ENTRE LÓGICAS MULTIALGEBRAS TEORIA DE BASES DE DADOS LÓGICA ALGÉBRICA COMBINAÇÃO ENTRE LÓGICAS SEMÂNTICAS DE TRADUÇÕES POSSÍVEIS LÓGICAS NÃO-CLÁSSICAS PROGRAMAÇÃO LÓGICA ESTRUTURAS TWIST ÁLGEBRAS DE BOOLE COM OPERADORES DIALETEÍSMO LÓGICAS DE EVIDÊNCIA E VERDADE EPISTEMOLOGIA FORMAL NMATRIZES ÁLGEBRAS NÃO-DETERMINÍSTICAS COMBINAÇÕES ENTRE LÓGICAS DEDUÇÃO AUTOMÁTICA ESTRUTURAS ORDENADAS LÓGICA A MÚLTIPLOS VALORES REVISÃO DE CRENÇAS LÓGICA INTUICIONISTA LÓGICA DEÔNTICA LÓGICA MATRICIAL LÓGICA DIFUSA EPISTEMOLOGIA MODELOS TOPOLÓGICOS TEORIA DE MODELOS ÁLGEBRAS DA LÓGICA NEGAÇÃO LÓGICAS NÃO-CLÁSSICAS TRADUÇÕES ENTRE SISTEMAS LÓGICOS TEORIA DE CONJUNTOS ESTRUTURAS DE FIDEL ESTRUTURAS SWAP LOGICAS ALGEBRIZAVEIS CÁLCULO DE SEQUENTES VERDADE PRAGMÁTICA CONTRADIÇÃO TEORIA DA PROVA PARADOXOS LÓGICAS 3-VALORADAS LÓGICA PARACONSISTENTE MATRIZES NÃO-DETERMINÍSTICAS ABDUÇÃO LÓGICAS DE LUKASIEWICZ ARISTÓTELES LÓGICA DE PRIMEIRA ORDEM SEMÂNTICAS NÃO-DETERMINÍSITCAS SEMÂNTICAS NÃO-DETERMINÍSTICAS LÓGICAS PARACONSISTENTES LÓGICA MODAL TEORIA DA QUASE-VERDADE