We show that if the structural rules are admissible over a set \(\mathcal{R}\) of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in \(\mathcal{R}\) to the multisuccedent minimal and intuitionistic \(\mathbf{G3}\) calculi as well as to the classical one. Two applications to pure logic and to the sequent calculus with equality are presented.

中文翻译：

---

通过附加的原子规则吸收后续演算中的结构规则

我们表明，如果结构规则在一组原子规则\（\ mathcal {R} \）上是可允许的，那么在通过将\（\ mathcal {R} \）中的规则加到多成功的最小直觉\（\ mathbf {G3} \）计算以及经典计算。给出了纯逻辑和随后的具有相等性的演算的两种应用。