We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys ...

Preprint, appears in Vol. 21 No. 4, December 2012. Special Issue: Logic, Reasoning and Rationality, Guest Editors: Erik Weber, Dietlinde Wouters and Joke Meheus. With permission from Logic and Logical Philosophy.

We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys ...