在分布式非交换线性逻辑中对次指数模态的语义分析
摘要：在这篇论文中，我们考虑在一个分配环境中加强了子指数模态的完整Lambek演算。我们通过规范扩展证明了具有子指数的分配Lambek演算在其Kripke框架下是完备的。在这种方法中，我们将子指数视为类似于S4模态，并且每个模态都通过一个反身传递关系进行解释，类似于通常的Kripke语义。
作者：Daniel Rogozin (University College London)
论文ID：2308.04521
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-10