書誌情報 | ファイル |
表紙・目次 (2009-04) 数理解析研究所講究録, 1635
| |
An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation) Akiyoshi, Ryota (2009-04) 数理解析研究所講究録, 1635: 1-12
| |
Normal form theorem of natural deduction for modal logic S4 (Proof theoretical study of the structure of logic and computation) ANDOU, Yuuki (2009-04) 数理解析研究所講究録, 1635: 13-15
| |
組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造) 岩見, 宗弘 (2009-04) 数理解析研究所講究録, 1635: 16-22
| |
ランダムなビット列における連 (証明論と論理・計算の構造) 川村, 保敬; 鈴木, 登志雄 (2009-04) 数理解析研究所講究録, 1635: 23-32
| |
On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation) Kikuchi, Kentaro (2009-04) 数理解析研究所講究録, 1635: 33-50
| |
逆再帰理論と逆数学に関して (証明論と論理・計算の構造) 木原, 貴行 (2009-04) 数理解析研究所講究録, 1635: 51-59
| |
完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造) 倉田, 俊彦 (2009-04) 数理解析研究所講究録, 1635: 60-76
| |
Towards affluent proof theory of LOGCFL and related topics (Proof theoretical study of the structure of logic and computation) Kuroda, Satoru (2009-04) 数理解析研究所講究録, 1635: 77-85
| |
Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation) Sakagawa, Wataru; Kashima, Ryo (2009-04) 数理解析研究所講究録, 1635: 86-102
| |
Equivalent characterizations of partial randomness for a recursively enumerable real (Proof theoretical study of the structure of logic and computation) Tadaki, Kohtaro (2009-04) 数理解析研究所講究録, 1635: 103-120
| |
Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation) Nemoto, Takako (2009-04) 数理解析研究所講究録, 1635: 121-133
| |