松田直祐

マツダナオスケ | Matsuda Naosuke

所属機関・部署：
職名：講師

研究分野 (1件)：数学基礎

論文 (8件)：

Naosuke Matsuda. Definability of Boolean Functions in Kripke Semantics. Notre Dame Journal of Formal Logic. 2023. 64. 3. 363-376
Naosuke Matsuda, Kento Takagi. What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?. Logic, Language, Information, and Computation. 2022. 175-189
Tomoaki Kawano, Naosuke Matsuda, Kento Takagi. Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic. Notre Dame Journal of Formal Logic. 2022. 63. 2. 243-259
Yoshiki Nakamura, Naosuke Matsuda. On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem. Studia Logica. 2021. 109. 6. 1413-1422
Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus. Notre Dame Journal of Formal Logic. 2020. 61. 4. 591-600

MISC (1件)：

松田直祐. INTUITIONISTIC TREE SEQUENT CALCULUS AND INTUITIONISTIC LAMBDA-RHO-CALCULUS (Proof Theory, Computation Theory and Related Topics). 数理解析研究所講究録. 2015. 1950. 108-120

学歴 (3件)：

学位 (1件)：

経歴 (4件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

松田 直祐