A Simplified Proof of the Church-Rosser Theorem. - Yuichi Komori; Naosuke Matsuda; Fumika Yamakawa (Stud Logica, 2014)

Reduction Rules for Intuitionistic λρ-calculus. - Ken-etsu Fujita; Ryo Kashima; Yuichi Komori; Naosuke Matsuda (Stud Logica, 2015)

Cut-free sequent calculi for logics characterized by finite linear Kripke frames. - Naosuke Matsuda (Log. J. IGPL, 2017)

On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem. - Yoshiki Nakamura 001; Naosuke Matsuda (Stud Logica, 2021)

What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? - Naosuke Matsuda; Kento Takagi (WoLLIC, 2022)