Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
Roland Hinnion · Notre Dame Journal of Formal Logic · 1994
Two distinct and apparently "dual" traditions of non-classical logic, three-valued logic and paraconsistent logic, are considered here and a unified presentation of "easy-to-handle" versions of these logics is given, in which full naive set theory, i.e. Frege's comprehension principle + extensionality, is not absurd.