東北大学 · 情報科学研究科

研究关键词クリプキ意味論・論理多元主義・推論主義・下位直観主義論理・否定概念・厳密含意論理・シークエント計算およびその拡張・異なる論理の組み合わせ体系

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic2022 · 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers 100-119 2023年
• Semantic incompleteness of del Cerro and Herzig's Hilbert system for a combination of classical and intuitionistic propositional logicMasanobu Toyooka, Katsuhiko Sano
• Combining first-order classical and intuitionistic logicMasanobu Toyooka, Katsuhiko Sano
• An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic LogicMasanobu Toyooka

• 2020年度後期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）全額免除
• TOEIC L&R 940点
• 2021年度前期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）1/2免除
• 哲学・数学・情報科学的観点からの直観主義含意研究提供機関： Graduate School of Information Sciences, Tohoku University

• 官方个人主页