hasStructuralRule
P142241
predicate
Indicates that one entity is governed, constrained, or defined by a structural rule specified or provided by another entity.
Sample triples (5)
| Subject | Object |
|---|---|
| linear logic | cut ⓘ |
| sequent calculus | weakening ⓘ |
| sequent calculus | contraction ⓘ |
| sequent calculus | exchange ⓘ |
| sequent calculus | cut ⓘ |