ZF and its interpretations

In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for = and ∈. Although, these variations coincide with the standard interpretation in Boolean-valued constructions, nonetheless they extend the scope of validity of ZF to new algebra-valued models. This paper presents, for the first time, non-trivial paraconsistent models of full ZF. Moreover, due to the validity of Leibniz's law in these structures, we will show how to construct proper models of set theory by quotienting these algebra-valued models with respect to equality, modulo the filter of the designated truth-values.