1. Context
There are various variants of multiplicative linear logic (mLL). I am wondering how those various relatives of mLL are conventionally abbreviated.
2. Question
What are common abbreviations for the following relatives of mLL:
- mLL without units?
- mLL without units and without cut?
- mLL without negation and without exchange (but with units)?