! and ? – Storage as tensorial strength
! and ? – Storage as tensorial strength
复制标题
! 和 ? – 存储为张量强度
DOI：
10.1017/s0960129500001055
复制
发表时间：
1996
影响因子：
0.5
通讯作者：
R. Seely
中科院分区：
文献类型：
--
作者：
R. Blute;J. Cockett;R. Seely
我们继续研究乘性线性逻辑的无负结构，以弱分配范畴的结构为代表，考虑“指数”！然后呢？在弱分布的背景下。除了通常的三元组和余三元组结构，人们会期望在这两个操作符的每一个，必须有一些连接之间，以取代德摩根关系发现在线性逻辑的背景。这就是张量强度的概念。我们分析这种情况下的一致性，使用修改通常的网络由于Danos，这是一种形式，适合线性逻辑的指数，但没有否定。
We continue our study of the negation-free structure of multiplicative linear logic, as represented by the structure of weakly distributive categories, to consider the ‘exponentials’! and ? in the weakly distributive context. In addition to the usual triple and cotriple structure that one would expect on each of the two operators, there must be some connection between them to replace the de Morgan relationship found in the linear logic context. This turns out to be the notion of tensorial strength. We analyze coherence for this situation, using a modification of the usual nets due to Danos, which is a form suitable for linear logic with exponentials but without negation.