We show that the replacement rule of the sequent calculi ${\bf G3[mic]}^= $ in [8] can be replaced by the simpler rule in which one of the principal formulae is not repeated in the premiss.

中文翻译：

---

关于连续计算的注释

我们表明，[8] 中的后续演算 ${\bf G3[mic]}^= $ 的替换规则可以被更简单的规则替换，其中一个主要公式在前提中不重复。