教員情報 - 岩田　荘平 | 愛知学院大学

（最終更新日 : 2025-07-25 18:19:51）

イワタ　ソウヘイ IWATA Sohei
岩田　荘平

所属教養部教養部本属

職種講師

専門分野
数学基礎キーワード(数学基礎論、数理論理学)

学歴（学位）
2017/04/01～2020/03/31	神戸大学システム情報学研究科情報科学専攻博士修了

学会発表
2024/08/07	証明可能性論理とその周辺 (第2回　若手による数理論理学研究集会)

所属学会
2017 ～	日本数学会

著書・論文歴
2025/02/26	論文	CUT-FREE SEQUENT CALCULI FOR THE PROVABILITY LOGIC D The Review of Symbolic Logic (共著)
2023/10/27	論文	The persistence principle over weak interpretability logic Mathematical Logic Quarterly 70 (1),37-63頁 (共著)
2022/01	論文	Interpolation Properties for Sacchetti's Logics ``Advances in Mathematical Logic." Springer Proceedings in Mathematics & Statics 369 369,47-76頁 (単著)
2021/10/22	論文	Topological semantics of conserativity and interpretability logics Journal of Logic and Computation 31 (7),1716-1739頁 (共著)
2020/11/18	論文	Fixed-point properties for predicate modal logics Annals of the Japan Association for Philosophy of Science 29,1-25頁 (共著)
全件表示（6件）