Tohoku University · Graduate School of Information Science

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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

• Official profile