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 SISTEMAS TABLEAUX DEDUÇÃO NATURAL LOGICA PARACONSISTENTE SEQÜENTES TABLEAUX ANALÍTICOS