“…For more on noncontractive approaches to paradoxes, see [25,11,20,36,2,33,15]. For more on nontransitive approaches, see [34,35,28,3,32]. Both approaches are susceptible to a cut-elimination style non-triviality proof (see [20,36] for the noncontractive approaches, and [28] for the nontransitive approaches).…”