Multiplicative-Additive
The two families of Linear Logic connectives. Multiplicatives — ⊗ (tensor, “I have both”), ⅋ (par, multiplicative disjunction), units 1 and ⊥ — distribute resources between proofs. Additives — & (with, “I choose”), ⊕ (plus, “the world chooses”), units ⊤ and 0 — share the same context across alternatives. The split corresponds in the Curry–Howard counterpart for concurrency to parallel composition / channel use (multiplicatives) versus internal/external choice (additives) in Session Types.