Assertion: linear logic | /r/HasProperty | a system of logic
Facets:
Source sentences:
text: : attempts to better model our informal ideas of implication, by insisting the premise must be relevant to the conclusion (a type of substructural logic) linear logic : a system of logic based on the idea of constrained resources (a type of substructural logic)