1: \begin{abstract}

2: Hahn's celebrated embedding theorem asserts that linearly ordered Abe\-lian groups embed in the lexicographic product of real groups.

3: In this talk the partial-lexicographic product construction is introduced, a class of residuated monoids, namely, odd FL$_e$-chains which possess only a finite number of idempotents are represented as partial-lexicographic products of linearly ordered Abelian groups, and as a corollary, Hahn's theorem is extended to this residuated monoid class by showing that any such algebra embeds in some partial-lexicographic product of linearly ordered Abelian groups. By relying on this embedding theorem we can prove that the logic $\mathbf{IUL}^{fp}$ enjoys finite strong standard completeness.

4: \end{abstract}

5: