Palavra-chave: DEDUÇÃO NATURAL

DA COSTA MÉTODO AXIOMÁTICO SISTEMA HILBERTIANO ORDINAL NATURAL SEQÜÊNCIA DE REDUÇÃO CALCULO PROPOSICIONAL CLÁSSICO DEDUÇÃO LÓGICA TK CÁLCULO DE SEQÜENTES LÓGICA PROPOSICIONAL DO PLAUSÍVEL TABLEAUX SISTEMAS SEQÜENTES CORTE DECIDIBILIDADE TEORIA DA PROVA LÓGICA PROPOSICIONAL PARA O TERMO "POUCOS" SISTEMAS DEDUTIVOS LÓGICA PARACONSISTENTE CW LÓGICAS NÃO CLÁSSICAS NORMALIZAÇÃO NEGAÇÃO