Rule Separation and Embedding Theorems for Logics Without Weakening
Rule Separation and Embedding Theorems for Logics Without Weakening
复制标题
不弱化逻辑的规则分离和嵌入定理
DOI：
10.1023/b:stud.0000032087.02579.e2
复制
发表时间：
2004
期刊：
影响因子：
0.7
通讯作者：
J. Raftery
中科院分区：
文献类型：
--
作者：
C. J. Alten;J. Raftery
本文证明了直觉线性逻辑的无界、无0和无指数可导规则的完全分离定理。得到了（交换）剩余格的次约简的这一定理的几个结构性结果。然后将定理推广到逻辑LR+上，并将其证明推广到平方增剩余格类的有限可嵌入性。
A full separation theorem for the derivable rules of intuitionistic linear logic without bounds,0and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logicLR+and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.