  Boolean-valued models of set theory were independently introduced by Scott,
Solovay and Vop\v{e}nka in 1965, offering a natural and rich alternative for
describing forcing. The original method was adapted by Takeuti, Titani, Kozawa
and Ozawa to lattice-valued models of set theory. After this, L\"{o}we and
Tarafder proposed a class of algebras based on a certain kind of implication
which satisfy several axioms of ZF. From this class, they found a specific
3-valued model called PS3 which satisfies all the axioms of ZF, and can be
expanded with a paraconsistent negation *, thus obtaining a paraconsistent
model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and
D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed
independently in the literature by several authors and with different
motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of
algebraic models of ZFC based on LPT0, another linguistic variant of J3
introduced by us in 2016. The semantics of LPT0, as well as of its first-order
version QLPT0, is given by twist structures defined over Boolean agebras. From
this, it is possible to adapt the standard Boolean-valued models of (classical)
ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent
negation. We argue that the implication operator of LPT0 is more suitable for a
paraconsistent set theory than the implication of PS3, since it allows for
genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is
not a 'reasonable implication' as defined by L\"{o}we and Tarafder. This
suggests that 'reasonable implication algebras' are just one way to define a
paraconsistent set theory. Our twist-valued models are adapted to provide a
class of twist-valued models for (PS3,*), thus generalizing L\"{o}we and
Tarafder result. It is shown that they are in fact models of ZFC (not only of
ZF).
