Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
substructural logic
|
| gptkbp:allows |
weakening rule
|
| gptkbp:compatibleWith |
contraction rule
|
| gptkbp:developedBy |
gptkb:Jean-Yves_Girard
|
| gptkbp:hasFeature |
resource management
discarding of assumptions allowed no duplication of assumptions |
| gptkbp:hasSubgroup |
gptkb:linear_logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Affine logic
|
| gptkbp:introducedIn |
1980s
|
| gptkbp:relatedTo |
gptkb:linear_logic
|
| gptkbp:usedIn |
computer science
proof theory resource-sensitive reasoning |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|