Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:characteristic |
resource sensitivity
|
| gptkbp:field |
gptkb:logic
|
| gptkbp:hasApplication |
gptkb:programming_language
gptkb:quantum_computing gptkb:game_semantics concurrency |
| gptkbp:hasConnective |
exponential (!, ?)
linear implication (–o) par (⅋) plus (⊕) tensor (⊗) with (&) |
| gptkbp:hasFragment |
additive linear logic
exponential linear logic intuitionistic linear logic multiplicative linear logic |
| gptkbp:hasSubfield |
proof theory
|
| gptkbp:influenced |
gptkb:logic
gptkb:category_theory computer science concurrency theory |
| gptkbp:introduced |
gptkb:Jean-Yves_Girard
|
| gptkbp:introducedIn |
1987
|
| gptkbp:property |
does not allow arbitrary contraction
does not allow arbitrary weakening |
| gptkbp:relatedTo |
gptkb:sequent_calculus
resource management substructural logics |
| gptkbp:bfsParent |
gptkb:Jean-Yves_Girard
gptkb:sequent_calculus gptkb:Formal_Logic |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
linear logic
|