Naosuke Matsuda

According to our database, Naosuke Matsuda authored at least 5 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?

Naosuke Matsuda, Kento Takagi

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem.

Yoshiki Nakamura, Naosuke Matsuda

Stud Logica, 2021

2017

Cut-free sequent calculi for logics characterized by finite linear Kripke frames.

Naosuke Matsuda

Log. J. IGPL, 2017

2015

Reduction Rules for Intuitionistic λρ-calculus.

Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda

Stud Logica, 2015

2014

A Simplified Proof of the Church-Rosser Theorem.

Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa

Stud Logica, 2014