α同値な論理式を同一視しない立場での直観主義述語論理の正規化定理の証明 | 山田 恵佑 | 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月 |
変数を区別しないときの自然演繹体系 NJ の正規形定理 | 古森 雄一 | 2010年9月 | LaTeX ソース, pdf |
α同値な論理式を同一視しないときの述語論理の正規化定理 | 古森 雄一 | 2011年1月 | LaTeX ソース, pdf |
2010 年 1 月 31 日に作成
2010 年 9 月 20 日に更新
2011 年 1 月 06 日に更新