论文标题
IMALL中的SUP连接：一种分类语义
The Sup Connective in IMALL: A Categorical Semantics
论文作者
论文摘要
我们探讨了直觉乘法添加性线性逻辑的证明语言，并结合了SUP连接，该连接将添加剂对引入概率消除，并在证明过程中进行总和和标量产品。我们提供了对语言的抽象表征，揭示了任何具有双脂肪的对称单体封闭类别，以及从标量半月到半静态HOM（i，i）的单态性。利用二进制双质源，我们在SUP结缔组织的核心处定义了加权的Codiagonal图。
We explore a proof language for intuitionistic multiplicative additive linear logic, incorporating the sup connective that introduces additive pairs with a probabilistic elimination, and sum and scalar products within the proof-terms. We provide an abstract characterization of the language, revealing that any symmetric monoidal closed category with biproducts and a monomorphism from the semiring of scalars to the semiring Hom(I,I) is suitable for the job. Leveraging the binary biproducts, we define a weighted codiagonal map at the heart of the sup connective.
