線形論理
MLL に加法的結合子を追加したもの。決定問題はPSPACE完全である。