Stratified coherence spaces: A denotational semantics for light linear logic
type: Item
instance of: scholarly article
title: Stratified coherence spaces: A denotational semantics for light linear logic
zbMATH Open document ID: 1051.03050
author: Patrick Baillot
published in: Theoretical Computer Science
publication date: 2004-08-06T00:00:00Z
review text: The author provides a denotational model for Light Linear Logic, a weak variant of Linear Logic. The model is the category {\text {BSCOH}} of stratified measured coherent spaces (and locally bounded stratified cliques), which is considered to be a sub-category of stratified coherent spaces which is proved to be a model of Elementary Linear Logic (the analogue of Light Linear Logic for the Kalmar elementary functions). The soundness of the model with respect to Light Linear Logic is proved via proof-nets. The model {\text {BSCOH}} is not complete with respect to Light Linear Logic as it validates some extra principles; though it does not satisfy some specific principles (e.g. the iteration principle) which are included in Linear Logic but excluded in Light Linear Logic.
reviewed by: Saeed Salehi
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 2083402
zbMATH Keywords: linear logic
zbMATH Keywords: light linear logic
zbMATH Keywords: coherent spaces
zbMATH Keywords: proof-nets
Wikidata QID: Q56092883
MaRDI profile type: Publication
full work available at URL: j.tcs.2003.10.015
OpenAlex ID: W2159254191
cites work: Q4490717
cites work: Q4936120
cites work: Elementary complexity and geometry of interaction
cites work: Q4263861
cites work: Linear logic and elementary time
cites work: Linear logic
cites work: Q4842966
cites work: Q4896506
cites work: Light linear logic
cites work: Linear types and non-size-increasing polynomial time computation.
cites work: Q4222893
cites work: Q4263872
cites work: Q2753690
cites work: Q4249177
DOI: 10.1016/J.TCS.2003.10.015
description: scientific article; zbMATH DE number 2083402