Metcalfe, George Sequent and hypersequent calculi for Abelian and Łukasiewicz logics. Olivetti, Nikola. Gabbay, Dov M In: ACM Transactions on Computational Logic. -- Vol. 6, No. 3 (2005), s.578-613.