1: \begin{abstract}

2: %

3: \noindent

4: We present two embeddings of infinite-valued \L ukasiewicz logic \textbf{\L} into Meyer and Slaney's abelian logic \textbf{A}, the logic of lattice-ordered abelian groups. We give new analytic proof systems for \textbf{A} and use the embeddings to derive corresponding systems for \textbf{\L}. These include: hypersequent calculi for \textbf{A} and \textbf{\L} and terminating versions of these calculi; labelled single sequent calculi for \textbf{A} and \textbf{\L} of complexity co-NP; unlabelled single sequent calculi for \textbf{A} and 

5: \textbf{\L}.

6: %

7: \end{abstract}

8: