Multiplicative Exponential Linear Logic (MELL) is the fragment of linear logic consisting of
Because of the presence of , MELL is a fragment of classical linear logic. A similar fragment without is usually referred to as Intuitionistic Linear Logic.
Please expand.
Please expand.
Please expand.