Ishtiaq，S.S。;皮姆·D·J。 自然演绎的相关分析。 （英语） Zbl 0915.03022号 J.日志。计算。 8，第6号，809-838（1998）. 摘要：我们研究了一个框架RLF，用于定义线性逻辑和其他相关逻辑的自然演绎表示。RLF以类似于LF的方式与一种语言一起组成，具有表示机制。RLF语言，即（lambda\lambda_\kappa）-演算，是一个一阶线性相关函数类型系统，它使用函数（kappa。表示机制是针对线性逻辑和其他相关逻辑开发的判断as-types。演算是演算的保守扩展，RLF是LF的保守扩展。 引用于6文件 MSC公司： 03B47号 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑） 03B70号 计算机科学中的逻辑 关键词：类型理论;线性逻辑;逻辑框架;自然抽吸术;相关逻辑 软件：自动化 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Ishtiaq}和\textit{D.J.Pym}，J.Log。计算。8，第6号，809--838（1998；Zbl 0915.03022） 全文： 内政部 链接