A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Stratified Bounded Affine Logic for Logarithmic Space
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
A number of complexity classes, most notably PTIME, have been characterised by sub-systems of linear logic. In this paper we show that the functions computable in logarithmic space can also be characterised by a restricted version of linear logic. We introduce Stratified Bounded Affine Logic (SBAL), a restricted version of Bounded Linear Logic, in which not only the modality ! but also the universal quantifier is bounded by a resource polynomial. We show that the proofs of certain sequents indoi:10.1109/lics.2007.45 dblp:conf/lics/Schopp07 fatcat:rblt4b5qsrgy3kaqtftonbex5u