線形論理
線形論理では、論理結合子が再検討される。各結合子は、乗法的 (multiplicative) なものと加法的 (additive) なものに分けられ、それぞれ同時 (simultaneous) 存在と択一 (alternative) 存在に対応する。結合子を解説するため、ここでは自動販売機を例として説明する。
全ての結合子を持っている。決定不能である。