×

有界线性逻辑,重温。 (英语) Zbl 1211.03090号

摘要:我们提出了QBAL,它是Girard、Scedrov和Scott有界线性逻辑的扩展。该系统的主要新颖之处在于可以量化资源变量。这种推广使得有界线性逻辑更加灵活,同时保持多项式时间的稳健性和完备性。特别是,我们提供了Leivant的RRW和Hofmann的LFPL到QBAL的组合嵌入。

MSC公司:

03楼52 线性逻辑和其他子结构逻辑的理论证明
PDF格式BibTeX公司 XML格式引用
全文: 内政部