Assertion: linear logic | /r/HasProperty | mll
Facets:
Source sentences:
text: Multiplicative linear logic (MLL): only the multiplicative connectives.
text: Multiplicative-additive linear logic (MALL): only multiplicatives and additives (i.e., exponential-free).
text: Multiplicative-exponential linear logic (MELL): only multiplicatives and exponentials.