次指数非结合非交换线性逻辑的探索
摘要：扩展子指数的非关联性非交换逻辑-一个允许结构规则局部应用的新质数，引入了一种新的多模态逻辑。 接下来，我们进一步探索该系统，并展示其具有古典单向多后继子古典系统的类比。 模型的建立依照了Buszkowski、de Groote和Lamarche提出的无指数演算法。 证明了直觉演算的一个较大片段被嵌入到了古典片段中。
作者：Eben Blaisdell (University of Pennsylvania, USA), Max Kanovich (University College London, UK), Stepan L. Kuznetsov (Steklov Mathematical Institute of RAS, Russia and HSE University, Russia), Elaine Pimentel (University College London, UK), Andre Scedrov (University of Pennsylvania, USA)
论文ID：2308.05537
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-11