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 19: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
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
linear logic
0 references
light linear logic
0 references
coherent spaces
0 references
proof-nets
0 references