Palavra-chave: COMBINAÇÕES ENTRE LÓGICAS

LÓGICA INTUICIONISTA LÓGICA MATRICIAL LÓGICAS NÃO-CLÁSSICAS FEIXES DE LÓGICAS SEMÂNTICAS NÃO-DETERMINÍSTICAS LÓGICA E TEORIA DE CATEGORIAS LOGICAS ALGEBRIZAVEIS HIPERSEQUENTES LÓGICA MODAL TRADUÇÕES ENTRE LÓGICAS SEMÂNTICA CATEGORIAL SEMÃNTICA DE TRADUÇÕES POSSÍVEIS LÓGICA DEÔNTICA FIBRILAÇÃO COMPLETUDE TEORIA DA PROVA FIBRILAÇÃO DE LÓGICAS LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA A MÚLTIPLOS VALORES DISJUNÇÃO FIBRING TEORIA DAS CATEGORIAS GRAFOS ESTRUTURAS SWAP CÁLCULO DE SEQUENTES CONJUNÇÃO TEORIA DE MODELOS LÓGICA PARACONSISTENTE REVISÃO DE CRENÇAS LÓGICAS NÃO-CLÁSSICAS LÓGICAS ABSTRATAS TABLEAUX