Abstract: | Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut‐elimination theorems, the completeness theorems (with respect to Girard's phase models) and a characteristic property named the mix separation principle are proved for these logics. |