Modeling Multiplicative Linear Logic via Deep Inference

The core message of this paper is to explore how coherence and categorical semantics hold invariance by transformation procedures between the sequent calculus and deep inference systems for multiplicative linear logic (MLL-).