カリー／ハワード用語法

用語法 論理

証明項の帰結という言葉を入れてみる。

型理論 論理
計算項 証明項
計算項の型 証明項の帰結
型付け〈typing〉 帰結付け〈consequencing〉
型{付け}?判断 帰結{付け}?判断
型チェック 命題チェック? 帰結チェック?
項の検証? 証明{項}?の検証
項の型推論 証明の命題推論? 帰結生成?