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

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