Assertion: linear logic | /r/HasProperty | multiplicative connectives
Facets:
Source sentences:
text: Multiplicative linear logic (MLL): only the multiplicative connectives.