直観主義論理
intuitionistic logic
BHK解釈
直観主義的型理論
中間論理
線形論理
構成的証明
カリー=ハワード対応
計算可能性論理
ゲーム意味論
直観主義論理 - Wikipedia