線形論理
線形論理から転置の構造規則を除いたもの。
乗法的論理積がさらに2つに分割される(left fuse と right fuse)。
乗法的結合子(tensor と par)およびそれらの単位元のみが許容される。決定可能だが、決定問題はNP完全である。