Palavra-chave: TEORIA DA PROVA

LÓGICA INTUICIONISTA LÓGICA ALGÉBRICA COMBINAÇÕES ENTRE LÓGICAS LOGICAS ALGEBRIZAVEIS HIPERSEQUENTES LÓGICA MODAL REGRA W LÓGICAS DA EVIDÊNCIA E VERDADE TEORIA DA ARGUMENTAÇÃO LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA A MÚLTIPLOS VALORES NEGAÇÃO LÓGICA DEDUÇÃO DEDUÇÃO NATURAL FILOSOFIA DA MATEMÁTICA TEORIA DE MODELOS LÓGICA PARACONSISTENTE LÓGICAS NÃO-CLÁSSICAS REGRA INFINITÁRIA TABLEAUX