* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2150
証明論とその周辺
Proof theory and related topics
RIMS 共同研究（公開型）
 　
2019/12/24〜2019/12/26
田中　義人
Yoshihito Tanaka
　
目　次
　
1. A Commentary on the Work of Saks and Wigderson 1986: Correlated Distributions on an Unbalanced Binary AND-OR Tree (Proof theory and related topics)---
　　　　首都大学東京　　　有本 宗史　(Arimoto,Soshi)
　
2. A category-like structure of computational paths for parallel reduction (Proof theory and related topics)--------------------------
　　　　群馬大学　　　藤田 憲悦　(Fujita,Ken-etsu)
　
3. Solovay還元を用いた第一不完全性定理の証明 (証明論とその周辺)-----------------------------------------------------------------------
　　　　首都大学東京理学研究科数理科学専攻　　　今井 裕幸　(Imai,Hiroyuki)
　
4. Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics)------------------------------------
　　　　群馬県立女子大学　　　黒田 覚　(Kuroda,Satoru)
　
5. 中間述語論理における選言特性と存在特性およびKripke完全性に関する注意 (証明論とその周辺)--------------------------------------------
　　　　静岡大学理学部数学教室　　　鈴木 信行　(Suzuki,Nobu-Yuki)
　
6. ラムダ計算の簡約グラフについて (証明論とその周辺)----------------------------------------------------------------------------------
　　　　群馬大学理工学府 / 群馬大学理工学府　　　富岡 峻士 / 藤田 憲悦　(Tomioka,Takashi / Fujita,Ken-etsu)
　
7. Some variants of analytic (cut) of modal logic $\bf{S5}$, $\bf{K4B}$, and ${\bf{K}}_{\bf{t}}{\bf{4}}$ (Proof theory and related topics)---
　　　　静岡大学創造科学技術大学院　　　矢崎 大志　(Yazaki,Daishi)