Assertion: linear logic | /r/HasProperty | thought as a half way point
Facets:
value: between fully procedural categorial information theory
type: OTHER
value: between static classical logic
type: OTHER
value: from a dynamic/procedural perspective
type: OTHER
Source sentences:
text: From a dynamic/procedural perspective, linear logics might be thought of as a “half way point” between static classical logic, and fully procedural categorial information theory.