On the comparison between fuzzy set axiomatizations (Q1187453)

Axiomatizations of Zadeh's theory of fuzzy sets as elementary theories of fuzzy sets (without urelements) have, e.g., been proposed by \textit{E. W. Chapin} [Notre Dame J. Formal Logic 4, 619-634 (1974; Zbl 0236.02049); ibid. 5, 255-267 (1975; Zbl 0236.02050)] and \textit{A. J. Weidner} [Fuzzy Sets Syst. 6, 61-72 (1981; Zbl 0469.03037)]. For Weidner's axiomatization ZB, it is known that it can be interpreted in ZF; the author proves that also ZF is interpretable in ZB. For Chapin's axiomatization ZA, the author first proves that it (plus some strong forms of its axioms) is interpretable in ZF, and then also that ZF can be interpreted in ZA with strong forms of the axiom of infinity and the power set axiom.