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