Palavra-chave: TEORIA DA PROVA

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