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

（最終更新日 : 2024-06-24 15:42:22）

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

所属教養部教養部本属

職種講師

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

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

所属学会
2017 ～	日本数学会

著書・論文歴
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頁 (共著)
2019/02	論文	On arithmetical completeness of the logic of proofs Annals of Pure and Applied Logic 170 (2),163-179頁 (共著)