Remarks on da costa's paraconsistent set theories

In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed over da Costa's paraconsistent logics C=n, 1 ≤ n ≤ ω. The main results presented here are the following. In any da Costa paraconsistent set theory of type NF the axiom schema of abstraction...