_35 "A"，他使用 Γ formula_35 Δ，而 Δ 是类似于 Γ 的一个命题的搜集。Γ 被处理为一个合取，而 Δ 是一个析取。这种结构本质上是直接从经典的相继式演算转移过来的，但是革新为 λμ 给予了经典自然演义证明一种计算性的意义，通过在LISP和它的后代中可见到的 callcc 或 throw/catch 机制的方式。(参见: 一级控制)。
模态逻辑.另一个重要扩展是模态和其他不只需要基本的真理判断的逻辑 。它们由 Prawitz 在 1965 年以自然演绎的样式