Natural Deduction for Intuitionistic Non-communicative Linear Logic
Natural Deduction for Intuitionistic Non-communicative Linear Logic
复制标题
直觉非交流线性逻辑的自然演绎
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
F. Pfenning
中科院分区：
文献类型：
--
作者：
Jeff Polakow;F. Pfenning
作为直觉非交换线性逻辑的保守推广，我们给出了直觉非交换线性逻辑的自然演绎和相关项演算系统。我们在蕴涵片段中证明了主体还原和规范形式的存在。
We present a system of natural deduction and associated term calculus for intuitionistic non-commutative linear logic (INCLL) as a conservative extension of intuitionistic linear logic. We prove subject reduction and the existence of canonical forms in the implicational fragment.