相互作用与结构系统IV：指数与分解
A System of Interaction and Structure IV: The Exponentials and Decomposition
摘要：
我们研究了一个称为NEL的系统，它是用线性逻辑的指数扩充的混合交换/非交换线性逻辑BV。等价地，NEL是用非交换自对偶连接序列扩充的MELL。在本文中，我们展示了NEL的一个基本组合属性，我们称之为分解。这个结果导致了一个割消定理，这将在本系列的下一篇文章中证明。为了控制定理的归纳测度，我们依赖于一种新的技术，该技术从NEL证明中提取指数的结构，我们称之为！流程图
英文摘要：
We study a system, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the non-commutative self-dual connective seq. In this paper, we show a basic compositionality property of NEL, which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next paper of this series. To control the induction measure for the theorem, we rely on a novel technique that extracts from NEL proofs the structure of exponentials, into what we call !-?-Flow-Graphs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
