修士論文

α同値な論理式を同一視しない立場での直観主義述語論理の正規化定理の証明山田 恵佑2010年3月 LaTeX ソース, pdf
述語論理の体系における∀ の導入規則について姜 丹2009年3月 LaTeX ソース, pdf
ラムダ項のβ正規形を求めるプログラムの高速化について岡林 美由貴2008年3月 LaTeX ソース, pdf
ラムダ項のβ正規形を結合子を用いて求める方法内藤 昭宏2006年3月 資料
ラムダ計算における2進数計算大家 幸敏2005年3月 資料
古典論理の証明図のリダクションについての弱正規化定理と合流性佐藤 有2004年3月 LaTeX ソース, pdf
直観主義論理と BCKβη の強さの同等性について高山 扶美彦2004年3月 LaTeX ソース, pdf
無限多値論理上の集合論の無矛盾性石田 真之2003年3月 LaTeX ソース, pdf

博士論文

A study on the various multi-signature schemes河内 恵2005年3月 pdf

関連小論

変数を区別しないときの自然演繹体系 NJ の正規形定理古森 雄一2010年9月 LaTeX ソース, pdf
α同値な論理式を同一視しないときの述語論理の正規化定理古森 雄一2011年1月 LaTeX ソース, pdf

2010 年 1 月 31 日に作成
2010 年 9 月 20 日に更新
2011 年 1 月 06 日に更新

inserted by FC2 system