Palavra-chave: TEORIA DA PROVA

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