Assertion: linear logic | /r/HasProperty | relevant logics
Facets:
Source sentences:
text: Linear logics are, in fact, relevant logics that lack contraction and the distribution of conjunction over disjunction ((A & (B ∨C)) →