Palavra-chave: TEORIA DA PROVA

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