编辑配置文件（在新选项卡中打开） 松田直介 合著者距离 作者ID： 松下 发布日期： 松田直介 已编制索引的文档： 9出版物自2014年起，包括1个附加arXiv预打印 合著者： 8位合著者具有7联合出版物 30位合作作者 全部的 前5名合著者 2 单作者的 三 Kento Takagi 2 鹿岛，良 2 小森，Yuichi 1 藤田，健毅 1 川野、通崎 1 吉木中村 1 福美卡山川 1 高雄玉山 系列 三 圣母院形式逻辑杂志 三 Studia Logica公司 1 IGPL逻辑杂志 领域 8 数理逻辑与基础（03-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用10中的次8文件 引用人▼ 年份▼ Church-Rosser定理的简化证明。 Zbl 1338.03017号 小森，Yuichi;松田直介;福美卡山川 8 2014 连接词的选择对经典逻辑和直觉逻辑关系的影响。 Zbl 07556133号 川野、通崎;松田直介;Kento Takagi 2 2022 连接词的选择对经典逻辑和直觉逻辑关系的影响。 Zbl 07556133号 川野、通崎;松田直介;Kento Takagi 2 2022 Church-Rosser定理的简化证明。 Zbl 1338.03017号 小森，Yuichi;松田直介;福美卡山川 8 2014 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 4 藤田，健毅 三 松田直介 三 中泽，Koji 1 威廉·鲍曼。 1 Chan，Jonathan Cheung-Wai先生 1 今川裕太 1 鹿岛，良 1 小森，Yuichi 1 李玉凤 1 Hiroto Naya 1 Kento Takagi 引用于5个系列 三 Studia Logica公司 1 圣母院形式逻辑杂志 1 理论计算机科学 1 计算机科学中的数学结构 1 函数编程杂志 在3个字段中引用 7 数理逻辑与基础（03-XX） 2 计算机科学（68至XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文