Assertion: linear logic | /r/HasProperty | designed
Facets:
value: for modelling just such processing costs
type: PURPOSE
Source sentences:
text: The rejection of Contraction is the mark of linear logics, which were designed for modelling just such processing costs (see Troelstra 1992).