Palavra-chave: DA COSTA

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