Palavra-chave: DA COSTA

PARACONSISTENT DIFFERENCIAL CALCULUS QUASE-VERDADE TEORIAS DA VERDADE ANALYTICAL TABLEAUX DECIDABILITY PARACONSISTENT LOGICS TRANSFERENCE THEOREM PARACONSISTENT SET THEORY PARACONSISTENT SUPER-STRUCTURE NATURAL DEDUCTION SYSTEMS HIERARCHIES OF PARACONSISTENT LOGICS PARACONSISTENT LOGIC PARACONSISTENT SYSTEMS DEDUÇÃO NATURAL SISTEMAS TABLEAUX TABLEAUX ANALÍTICOS LOGICA PARACONSISTENTE SEQÜENTES