Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4490717 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4936120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2708316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic and elementary time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896506 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Light linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear types and non-size-increasing polynomial time computation. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263872 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2753690 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249177 / rank
 
Normal rank

Latest revision as of 18:20, 6 June 2024

scientific article
Language Label Description Also known as
English
Stratified coherence spaces: A denotational semantics for light linear logic
scientific article

    Statements

    Stratified coherence spaces: A denotational semantics for light linear logic (English)
    0 references
    0 references
    6 August 2004
    0 references
    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.
    0 references
    0 references
    linear logic
    0 references
    light linear logic
    0 references
    coherent spaces
    0 references
    proof-nets
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers