乌戈·达尔拉戈;马丁·霍夫曼 有界线性逻辑,重温。 (英语) Zbl 1211.03090号 日志。方法计算。科学。 6,第4号,第7号论文,28页(2010年). 摘要:我们提出了QBAL,它是Girard、Scedrov和Scott有界线性逻辑的扩展。该系统的主要新颖之处在于可以量化资源变量。这种推广使得有界线性逻辑更加灵活,同时保持多项式时间的稳健性和完备性。特别是,我们提供了Leivant的RRW和Hofmann的LFPL到QBAL的组合嵌入。 引用于4文件 MSC公司: 03楼52 线性逻辑和其他子结构逻辑的理论证明 关键词:有界线性逻辑的推广 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann},Log。方法计算。科学。6,第4号,第7号论文,28页(2010年;Zbl 1211.03090) 全文: 内政部