Multiplicative intuitionistic linear logic (MILL) has only multiplicative conjunction $\otimes$ and linear implication $\multimap$ as connectives. It has models in symmetric monoidal closed categories.
Compact closed categories are symmetric monoidal closed categories in which every object $A$ has a dual $A^*$ and $A \multimap B \cong A^* \otimes B$. Thought of as a resource, $A^*$ is a debt, owing someone an $A$. Is there a special name for MILL when these conditions hold? ͏ ͏