Edit Profile (opens in new tab) Matsuda, Naosuke Co-Author Distance Author ID: matsuda.naosuke Published as: Matsuda, Naosuke Documents Indexed: 9 Publications since 2014, including 1 Additional arXiv Preprint Co-Authors: 8 Co-Authors with 7 Joint Publications 27 Co-Co-Authors all top 5 Co-Authors 2 single-authored 3 Takagi, Kento 2 Kashima, Ryo 2 Komori, Yuichi 1 Fujita, Ken-etsu 1 Kawano, Tomoaki 1 Nakamura, Yoshiki 1 Yamakawa, Fumika 1 Yuyama, Takao Serials 3 Notre Dame Journal of Formal Logic 3 Studia Logica 1 Logic Journal of the IGPL Fields 8 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 10 times in 8 Documents Cited by ▼ Year ▼ A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. Zbl 07556133 Kawano, Tomoaki; Matsuda, Naosuke; Takagi, Kento 2 2022 Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. Zbl 07556133 Kawano, Tomoaki; Matsuda, Naosuke; Takagi, Kento 2 2022 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 all cited Publications top 5 cited Publications all top 5 Cited by 11 Authors 4 Fujita, Ken-etsu 3 Matsuda, Naosuke 3 Nakazawa, Koji 1 Bowman, William J. 1 Chan, Jonathan Cheung-Wai 1 Imagawa, Yuta 1 Kashima, Ryo 1 Komori, Yuichi 1 Li, Yufeng 1 Naya, Hiroto 1 Takagi, Kento Cited in 5 Serials 3 Studia Logica 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming Cited in 3 Fields 7 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year