導入規則と除去規則だけからなる従来からの自然演繹にとって好ましい対処法は、1992年、MichelParigotがλμと呼ばれるラムダ計算の一種として提案した。
相对更加另人满意的以单独的介入和除去规则处理经典自然演绎首次由Parigot在1992年提出，采用了叫做λμ的lambda演算的形式。