TY  - RPRT
TI  - Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
AU  - G. Metcalfe
AU  - N. Olivetti
AU  - D. Gabbay
PY  - 2002
UR  - https://arxiv.org/abs/cs/0211021
ID  - cs/0211021
ER  -