计算机科学>计算机科学中的逻辑
标题: 次指数非关联非交换线性逻辑的探讨
摘要: 在之前的工作中,我们引入了一种由多模态扩展的非关联非交换逻辑,称为次指数,允许结构规则的局部应用。 在这里,我们进一步探索这个系统,展示了我们直觉主义系统的经典单边多继承经典模拟,遵循Buszkowski和de Groote,Lamarche的无指数计算。 直觉演算的一个大片段被证明忠实地嵌入到经典片段中。