Lago, Ugo Dal and Hofmann, Martin - Bounded Linear Logic, Revisited

lmcs:1064 - Logical Methods in Computer Science, December 18, 2010, Volume 6, Issue 4
Bounded Linear Logic, Revisited

Authors: Lago, Ugo Dal and Hofmann, Martin

We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This generalization makes bounded linear logic considerably more flexible, while preserving soundness and completeness for polynomial time. In particular, we provide compositional embeddings of Leivant's RRW and Hofmann's LFPL into QBAL.


Source : oai:arXiv.org:0904.2675
DOI : 10.2168/LMCS-6(4:7)2010
Volume: Volume 6, Issue 4
Published on: December 18, 2010
Submitted on: November 16, 2009
Keywords: Computer Science - Logic in Computer Science,F.4.1


Share

Consultation statistics

This page has been seen 74 times.
This article's PDF has been downloaded 56 times.