Kawano, Tomoaki; Matsuda, Naosuke; Takagi, Kento Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. (English) Zbl 07556133 Notre Dame J. Formal Logic 63, No. 2, 243-259 (2022). MSC: 03B20 03B05 PDF BibTeX XML Cite \textit{T. Kawano} et al., Notre Dame J. Formal Logic 63, No. 2, 243--259 (2022; Zbl 07556133) Full Text: DOI OpenURL
Nakamura, Yoshiki; Matsuda, Naosuke On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem. (English) Zbl 07450676 Stud. Log. 109, No. 6, 1413-1422 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Y. Nakamura} and \textit{N. Matsuda}, Stud. Log. 109, No. 6, 1413--1422 (2021; Zbl 07450676) Full Text: DOI OpenURL
Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao Term-space semantics of typed lambda calculus. (English) Zbl 1486.03032 Notre Dame J. Formal Logic 61, No. 4, 591-600 (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{R. Kashima} et al., Notre Dame J. Formal Logic 61, No. 4, 591--600 (2020; Zbl 1486.03032) Full Text: DOI OpenURL
Matsuda, Naosuke Cut-free sequent calculi for logics characterized by finite linear Kripke frames. (English) Zbl 1492.03018 Log. J. IGPL 25, No. 5, 686-696 (2017). MSC: 03F05 03B20 PDF BibTeX XML Cite \textit{N. Matsuda}, Log. J. IGPL 25, No. 5, 686--696 (2017; Zbl 1492.03018) Full Text: DOI OpenURL
Fujita, Ken-etsu; Kashima, Ryo; Komori, Yuichi; Matsuda, Naosuke Reduction rules for intuitionistic \(\lambda\rho\)-calculus. (English) Zbl 1378.03012 Stud. Log. 103, No. 6, 1225-1244 (2015). MSC: 03B40 03B20 03F03 PDF BibTeX XML Cite \textit{K.-e. Fujita} et al., Stud. Log. 103, No. 6, 1225--1244 (2015; Zbl 1378.03012) Full Text: DOI OpenURL
Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika A simplified proof of the Church-Rosser theorem. (English) Zbl 1338.03017 Stud. Log. 102, No. 1, 175-183 (2014). MSC: 03B40 PDF BibTeX XML Cite \textit{Y. Komori} et al., Stud. Log. 102, No. 1, 175--183 (2014; Zbl 1338.03017) Full Text: DOI OpenURL