阿米罗申·阿克巴尔·塔巴塔拜;罗莎莉，伊姆霍夫;拉赫利·贾拉利 直觉单调模态逻辑的一致Lyndon插值。 （英语） Zbl 1531.03029号 Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。77-96 (2022). 摘要：在本文中，我们证明了直觉单调模态逻辑感应电动机具有统一的Lyndon插值特性（ULIP）。逻辑感应电动机是直觉基础上的非正规模态逻辑，ULIP属性是插值的加强，其中插值只依赖于蕴涵的前提或结论，尊重命题变量的极性。我们证明ULIP的方法产生了显式一致插值，并利用了终止序列演算感应电动机我们为此目的开发的。据我们所知，结果是感应电动机具有ULIP和终止序列演算是直觉主义非正规模态逻辑的第一种。然而，不是证明这些特殊性结果，我们的目的是展示用于证明ULIP的构造性证明理论方法的灵活性。它在过去几年中得到了发展，并已应用于子结构、中间、经典（非）正规模态和直觉主义正规模态逻辑。根据这些结果，直觉主义非正规模态逻辑似乎是尝试应用该方法的自然下一类，而我们在本文中朝着这个方向迈出了第一步。关于整个系列，请参见[Zbl 1505.03004号]. 引用于2文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B20型 经典逻辑子系统（包括直觉逻辑） 03C40号 插值、保存、可定义性 关键词：直觉单调模态逻辑;均匀插值;一致Lyndon插值 PDF格式BibTeX公司 XML格式引用 \textit{A.Akbar-Tabatabai}等人，in：模态逻辑的进展。第14卷。第14届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。77-96（2022年；Zbl 1531.03029） 全文： arXiv公司