Relevance Principle for Substructural Logics with Mingle and Strong Negation
Relevance Principle for Substructural Logics with Mingle and Strong Negation
复制标题
混合与强否定子结构逻辑的关联原则
DOI：
10.1093/logcom/12.6.913
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
N. Kamide
中科院分区：
文献类型：
--
作者：
N. Kamide
我们引入了具有结构规则混合和连接强否定的直觉主义和经典子结构逻辑，并研究了这些逻辑的割消性和关联原理。相关性原则不适用于具有混合和通常否定的子结构逻辑，但适用于具有混合和强否定的子结构逻辑。
We introduce intuitionistic and classical substructural logics with structural rules mingle and connective strong negation, and investigate the cut‐elimination property and the relevance principle for these logics. The relevance principle does not hold for substructural logics with mingle and usual negation, but holds for those with mingle and strong negation.