 Theories of naive truth—as based on the unrestricted biconditional and on a logic without contraction—are to be found in the literature, e.g see Cantini 2002, Zardini 2011, Bacon 2013, Standefer 2016. Ripley 2012, instead, presents an alternative approach based on a non-transitive logical system (see also Cobreros et al. 2012, as well as Cobreros et al. 2015, which attempts at extending the approach to the paradoxes of vagueness).