Palavra-chave: TEORIA DA PROVA

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