線形論理
縮約の構造規則を持つ線形論理の拡張。