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
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