_
[English]
[Francais]
[東邦大にある頁]
竹内泉の頁
- 論文
-
●論文その１「パースの論理式に対する簡約規則」
（廣川氏、古森氏と共著）
-
●論文その２「パラメトリシティーの公理系」 [要旨]
[本文 ps.gz]
-
●論文その３「循環的構造の型理論」 [要旨]
[本文 ps.gz]
-
●論文その４「最汎型付の為の項の枝刈」 [要旨]
[本文,ps.gz]
-
●論文その５「ハウスドルフ次元と計算の複雑性」 [要旨]
[本文,ps.gz]
（鴨氏、河邑氏と共著）
-
●論文その６「非可分空間に於ける実効的不動点定理」 [要旨]
[本文 ps.gz]
-
●論文その７「様相論理の文脈解釈」
[本文]
-
●論文その8「パイ計算による仕様を検証する論理体系」
-
●論文その9「伝聞の様相論理」
- 原稿
-
●原稿その１「含意の函数的体系」
（廣川氏と共著）
-
●原稿その２「時間の論理」数理科学94年11月号 [要旨]
[本文]
-
●原稿その３「可能世界意味論に対する一批判」
[本文]
[訂正]
-
●原稿その４「原始再帰的函数類の値の上限」 [要旨]
[本文 dvi.gz]
-
●原稿その５「ラムダ方体に於ける共形性の理論」 [要旨]
[本文 ps.gz]
-
●原稿その６「無限長正規言語の測度が有理数であること」
-
●原稿その７「必然性の論理体系幾つか」
-
●原稿その８「数学と論理学」
-
要旨その１
/要旨その２（英文）
電子メール：takeuti(at)kuis(dot)kyoto-u(dot)ac(dot)jp