倉橋太志

クラハシタイシ | Kurahashi Taishi

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://www2.kobe-u.ac.jp/~tk/jp/ , http://www2.kobe-u.ac.jp/~tk/

研究分野 (2件)：応用数学、統計数学 , 数学基礎

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

競争的資金等の研究課題 (5件)：

論文 (38件)：

Makoto Fujiwara, Taishi Kurahashi. Prenex normalization and the hierarchical classification of formulas. Archive for Mathematical Logic. 2024. 63. 3-4. 391-403
Taishi Kurahashi, Motoki Okuda. Disjunction and existence properties in modal arithmetic. The Review of Symbolic Logic. 2024. 17. 1. 178-205
Sohei Iwata, Taishi Kurahashi, Yuya Okawa. The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}. Archive for Mathematical Logic. 2024. 63. 1-2. 1-37
Makoto Fujiwara, Taishi Kurahashi. Conservation theorems on semi-classical arithmetic. The Journal of Symbolic Logic. 2023. 88. 4. 1469-1496
Taishi Kurahashi. Some observations on the FGH theorem. Studia Logica. 2023. 111. 5. 749-778

MISC (10件)：

Taishi Kurahashi, Yoshiaki Minami. On collection schemes and Gaifman's splitting theorem. 投稿中. 2024
Haruka Kogure, Taishi Kurahashi. Interpolation properties for the bimodal provability logic $\mathbf{GR}. 投稿中. 2023
Taishi Kurahashi, Rihito Takase. The Modal Logic of Provability and Forcing. 投稿中. 2023
Ryo Kashima, Taishi Kurahashi, Sohei Iwata. Cut-free sequent calculi for the provability logic D. 投稿中. 2023
Taishi Kurahashi, Albert Visser. Pour-El's Landscape. 投稿中. 2023

書籍 (1件)：

講演・口頭発表等 (28件)：

理論の不完全性,決定不能性,分離不能性
(日本数学会 2024年度年会 2024)
証明可能性-強制様相論理
(日本数学会 2024年度年会 2024)
必然化の論理 N の拡張論理の有限フレーム性
(日本数学会 2024年度年会 2024)
局所反映原理に関する保存性について
(日本数学会 2024年度年会 2024)
証明可能性論理 GR の補間定理
(第58回MLG数理論理学研究集会 2024)

学歴 (3件)：

学位 (1件)：

経歴 (6件)：

全件表示

受賞 (1件)：

所属学会 (3件)：

Association for Symbolic Logic , 科学基礎論学会 , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

倉橋 太志