Assertion: substructural logic | /r/HasProperty | relevance
Facets:
Source sentences:
text: Recent work on the intersection between information as code and information as correlation uses substructural logics (relevance and linear logics in particular) to model logical proofs as information sources themselves.