@misc{indiciae60591fd9a43f, title = {Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics}, author = {G. Metcalfe and N. Olivetti and D. Gabbay}, year = {2002}, url = {https://arxiv.org/abs/cs/0211021}, note = {Source identifier: cs/0211021} }