 Similar techniques can be adapted for formulations of other substructural logics in the sense of Restall (2000). Relevant logics are examples of logics lacking the property of Thinning: that is, lacking the principle that if \(\Gamma\vdash B\) then \(\Gamma,A\vdash B\). Non-contractive logics—logics in which the inference from \((A\rightarrow(A\rightarrow B))\) to \((A\rightarrow B)\) is rejected—can be captured by restrictions on the number of times a hypothesis can be used. (Formulations of Contraction-free and Thinning-free logics as sequent calculii analogous to Gentzen’s \(\mathcal{LJ}\) and \(\mathcal{LK}\) omit or restrict the “structural” rules of Contraction and Thinning: hence the name ‘substructural logics’. For background in substructural logic, see Restall 2018.)