古森 雄一

研究分野 (7件)： 代数学 ,  応用数学、統計数学 ,  数学基礎 ,  応用数学、統計数学 ,  数学基礎 ,  代数学 ,  情報学基礎論

研究キーワード (51件)： 極小論理式 ,  文脈 ,  有限モデル性 ,  明示的代入 ,  直観主義的様相論理 ,  意味論 ,  自然演繹体系 ,  カット除去定理 ,  線型論理 ,  モデル ,  認識論理 ,  証明システム ,  ファジィ理論 ,  チャーチ ,  束縛変数 ,  P=NP問題 ,  項書換え系 ,  多値論理 ,  代入操作 ,  α変換 ,  強制規化 ,  カット除去 ,  ラッセルの逆理 ,  様相論理 ,  線形論理 ,  Curry-Howard対応 ,  正規化 ,  様相部分構造命題論理 ,  型としての論理式 ,  クリプキ完全性 ,  普遍代数 ,  部分構造理論 ,  ω-無矛盾性 ,  知識の論理 ,  ファジー論理 ,  数理論理学 ,  強正規化 ,  クリプキ・フレ-ム ,  集合論 ,  カテゴリ理論 ,  curry-Haward ,  構成的論理 ,  非標準論理 ,  適切さの論理 ,  クリプキ意味論 ,  直観主義論理 ,  BCK論理 ,  型理論 ,  古典論理 ,  部分構造論理 ,  ラムダ計算