NM
自然演繹
版の
シークエント計算
のようだ
sequent calculus
ref.
『数理論理学』（戸次大介）