神戸大学 · システム情報学研究科 · 准教授

研究キーワード算術のモデル・不完全性定理・数学基礎論・数理論理学・様相論理・証明可能性論理

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Cut-free sequent calculi for the provability logic D2025 · 2025年06月, The Review of Symbolic Logic, 18(2) (2), 505 - 526, 英語, 国際誌, 国際共著していない
• Interpolation properties for the bimodal provability logic $\mathbf{GR}$2024 · 2024年, Studia Logica (受理), 英語, 国際誌, 国際共著していない
• Pour-El's Landscape2024 · 2024年09月, The Bulletin of Symbolic Logic, 30(3) (3), 362 - 397, 英語, 国際誌, 国際共著している
• On inclusions between quantified provability logics2022 · 2022年02月, Studia Logica, 110(1) (1), 165 - 188, 英語, 国際誌, 国際共著していない

• 形式的証明可能性の持つ諸性質の分析 倉橋 太志 日本学術振興会, 科学研究費（基盤研究(C)）, 2023年04月 - 2028年03月, 研究代表者2023 · KUID parsed section
• 不完全性定理を通じた形式的証明可能性の研究 倉橋 太志 日本学術振興会, 科学研究費（若手研究）, 2019年04月 - 2023年03月, 研究代表者 競争的資金2019 · KUID parsed section
• 超準モデルと理論における証明構造の分析 倉橋 太志 日本学術振興会, 科学研究費（若手研究B）, 2016年04月 - 2019年03月, 研究代表者 競争的資金2016 · KUID parsed section
• 可証性述語の解析に基づく形式的証明可能性の研究 倉橋 太志 日本学術振興会, 科学研究費（研究活動スタート支援）, 2014年08月 - 2016年03月, 研究代表者 競争的資金2014 · KUID parsed section

• 公式プロフィール