1: \begin{definition}[Special structural rules]\label{def:special}

2: 		(cf.\ \cite[Section 5, discussion after Theorem 15]{Kracht} ) \emph{Special structural rules} are analytic structural rules of one of the following forms:

3: 		\[

4: 		\mbox{\AxiomC{$(X\vdash T_i\mid 1\leq i\leq n)$}

5: 			\UnaryInfC{$X\vdash T$}

6: 			\DisplayProof}

7: 		\qquad

8: 		\mbox{\AxiomC{$(S_i\vdash Y\mid 1\leq i\leq n)$}

9: 			\UnaryInfC{$S\vdash Y$}

10: 			\DisplayProof}

11: 		\]

12: 		where $X$ (resp.\ $Y$) does not occur in any $T_i$ (resp.\ $S_i$) for $1\leq i\leq n$ nor in $T$ (resp.\ $S$).

13: 	\end{definition}

14: