鹿島 亮 | 東京工業大学情報理工学研究科数理・計算科学専攻
スポンサーリンク
概要
関連著者
-
鹿島 亮
東京工業大学情報理工学研究科数理・計算科学専攻
-
鹿島 亮
東京工業大学情報理工学研究科数理計算科学専攻
-
蓮尾 一郎
東京工業大学情報理工学研究科数理・計算科学専攻
-
岡本 龍明
日本電信電話株式会社ntt情報流通プラットフォーム研究所
-
坂川 航
東京工業大学情報理工学研究科数理・計算科学専攻
-
岡本 龍明
日本電信電話株式会社
著作論文
- A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)
- Resource Bounded Unprovability of Computational Lower Bounds (Part 1) (Algebraic Aspects of Coding Theory and Cryptography)
- 到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて (形式体系と計算理論)
- Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation)
- 中間述語論理 CD について(算術体系の証明論)
- A Proof of the Standardization Theorem in $\lambda$-Calculus (Towards new interaction between category theory and proof theory)
- Contraction-Elimination Theorem
- Cut-free systems for some tense logics