Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study

Carlos Olarte, Elaine Pimentel

Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if $i\ne j$ then ${!}^{i}F\not\equiv {!}^{j}F$. Intuitively, th…