次指数非结合非交换线性逻辑探索（扩展版）
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
AI总结：
该研究在先前引入的带次指数多模态非结合非交换逻辑基础上，参考相关无指数演算提出其经典单侧多后继版本，并证明直觉主义演算可忠实嵌入该经典片段。
摘要：
在先前工作中，我们引入了一种由多模态（称为次指数，授权结构规则的局部应用）扩展的非结合非交换逻辑。本文中我们进一步探索该系统，参考Buszkowski以及de Groote和Lamarche工作中的无指数演算，考虑该系统的经典单侧多后继经典版本，其中直觉主义演算被证明可忠实嵌入到该经典片段中。
英文摘要：
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, considering a classical one-sided multi-succedent classical version of the system, following the exponential-free calculi of Buszkowski's and de Groote and Lamarche's works, where the intuitionistic calculus is shown to embed faithfully into the classical fragment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
