|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:characteristic
|
resource sensitivity
|
|
gptkbp:field
|
gptkb:logic
|
|
gptkbp:hasApplication
|
gptkb:programming_language
gptkb:quantum_computing
concurrency
game semantics
|
|
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
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
linear logic
|
|
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:Curry–Howard_correspondence
gptkb:Jean-Yves_Girard
gptkb:linear_type_theory
gptkb:Affine_logic
gptkb:Lambek_calculus
|
|
gptkbp:bfsLayer
|
5
|