Partial Orders, Residuation, and First-Order Linear Logic