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