Palavra-chave: LÓGICA INTUICIONISTA

ESTRUTURAS ORDENADAS SEMÂNTICA CATEGORIAL LÓGICA E TEORIA DE CATEGORIAS LÓGICA DE ORDEM SUPERIOR LÓGICAS DA INCONSISTÊNCIA FORMAL TEORIA DA PROVA LOGICAS PARACOMPLETAS LÓGICA A MÚLTIPLOS VALORES LÓGICA PARACONSISTENTE COMBINAÇÕES ENTRE LÓGICAS TABLEAUX TEORIA DE MODELOS SEMÂNTICAS NÃO-DETERMINÍSTICAS MATRIZES NÃO-DETERMINÍSTICAS TEORIA DAS CATEGORIAS