Palavra-chave: LÓGICA INTUICIONISTA

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