 It seems, therefore, that proponents of non-classical logics cannot claim to have preserved NC in any significant sense, other than preserving the purely syntactical form of the principle, and neither intuitionism nor paraconsistency plus the abandonment of Contraction will offer an advantage over the untyped solutions of Zermelo, von Neumann, or Quine. (Further discussion can be found in Meyer, Routley and Dunn (1979), Irvine (1992), Priest (2006, ch. 18), Weber (2010), Weber (2012), and in the entries on  Curry’s paradox  (sec. 2.2) and  paraconsistent logic  (sec. 2.3).) 