論文

• Kento Takagi, Ryo Kashima. On the completeness and the decidability of strictly monadic second‐order logic, Mathematical Logic Quarterly, Vol. 66, No. 4, pp. 438-447, 2020.

国内会議発表 (査読なし・不明)

• 高木研斗, 鹿島亮. 狭義単項二階述語論理の完全性について, 日本数学会2019年会, 日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト, p. 35, Mar. 2019.

その他の論文・著書など

• Kento Takagi, Ryo Kashima. C-286,  On the Completeness and the Decidability of Strictly Monadic Second-Order Logic, Research Reports on Mathematical and Computing Sciences, Department of Mathematical and Computing Sciences Tokyo Institute of Technology, Apr. 2019.

学位論文

• Studies on Propositional Connectives in Classical and Intuitionistic Logics,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2022/09/22,   
• Studies on Propositional Connectives in Classical and Intuitionistic Logics,  Summary,  Doctor (Science),  Tokyo Institute of Technology,  2022/09/22,   
• Studies on Propositional Connectives in Classical and Intuitionistic Logics,  Exam Summary,  Doctor (Science),  Tokyo Institute of Technology,  2022/09/22,   

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]