Matsuda, Naosuke; Takagi, Kento What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? (English) Zbl 07691322 Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 175-189 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{N. Matsuda} and \textit{K. Takagi}, Lect. Notes Comput. Sci. 13468, 175--189 (2022; Zbl 07691322) Full Text: DOI arXiv OpenURL
Nakazawa, Koji; Fujita, Ken-etsu; Imagawa, Yuta Z property for the shuffling calculus. (English) Zbl 07657638 Math. Struct. Comput. Sci. 32, No. 7, 1015-1027 (2022). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Math. Struct. Comput. Sci. 32, No. 7, 1015--1027 (2022; Zbl 07657638) Full Text: DOI OpenURL
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI OpenURL
Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) 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
Nakazawa, Koji; Naya, Hiroto Strong reduction of combinatory calculus with streams. (English) Zbl 1326.03023 Stud. Log. 103, No. 2, 375-387 (2015). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{H. Naya}, Stud. Log. 103, No. 2, 375--387 (2015; Zbl 1326.03023) Full Text: DOI OpenURL