No.1533

2006/08/21〜2006/08/23

黒田　覚

Satoru Kuroda

目　次

1. 中間述語論理 CD について(算術体系の証明論)----------------------------------------------------------------------------------------1

　　　　東京工業大学情報理工学研究科数理計算科学専攻　　　鹿島 亮　(Kashima, Ryo)

　

2. Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic)--------------------8

　　　　放送大学教養学部 / 首都大学東京 / 東北大学理学部　　　隈部 正博 / 鈴木 登志雄 / 山崎 武　(Kumabe, Masahiro / Suzuki, Toshio / Yamazaki, Takeshi)

　

3. SOME ASPECTS OF EXTENSIONALITY OF ARROWS IN CARTESIAN CLOSED CATEGORY(Proof Theory of Arithmetic)--------------------------------15

　　　　法政大学経営学部　　　倉田 俊彦　(KURATA, TOSHIHIKO)

　

4. Characterizations and Problems on LOGCFL(Proof Theory of Arithmetic)-------------------------------------------------------------24

　　　　群馬県立女子大学　　　黒田 覚　(Kuroda, Satoru)

　

5. 汎用システムとしての「ラムダ計算+論理」(算術体系の証明論)------------------------------------------------------------------------39

　　　　千葉大学総合メディア基盤センター　　　古森 雄一　(Komori, Yuichi)

　

6. Formulas with only one atomic formula in Grzegorczyk logic and provability logic(Proof Theory of Arithmetic)---------------------49

　　　　南山大学数理情報学部　　　佐々木 克巳　(Sasaki, Katsumi)

　

7. CPS-translation as adjoint : extended abstract(Proof Theory of Arithmetic)-------------------------------------------------------64

　　　　群馬大学　　　藤田 憲悦　(Fujita, Ken-etsu)

　

8. 2階算術における関数空間の扱いと超準解析的手法(算術体系の証明論)------------------------------------------------------------------86

　　　　東北大学大学院理学研究科　　　横山 啓太　(YOKOYAMA, Keita)