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

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