Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

G. Metcalfe, N. Olivetti, D. Gabbay

We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof sy…