The introduction rules of natural deduction are viewed as right rules in the sequent calculus, and are structurally very similar.
自然演绎的介入规则被看作相继式演算中“右规则”，并且在结构上非常类似。