有界线性逻辑，再探
计算机科学中的逻辑
2015-07-01 v5
摘要
我们提出了QBAL，这是对Girard、Scedrov和Scott的有界线性逻辑的一个扩展。该系统的主要新颖之处在于可以对资源变量进行量化。这种泛化使得有界线性逻辑更加灵活，同时保持了多项式时间内的可靠性和完备性。特别地，我们提供了Leivant的RRW和Hofmann的LFPL到QBAL的组合嵌入。
引用
@article{arxiv.0904.2675,
title = {Bounded Linear Logic, Revisited},
author = {Ugo Dal Lago and Martin Hofmann},
journal= {arXiv preprint arXiv:0904.2675},
year = {2015}
}