Sequent and hypersequent calculi for Abelian and Lukasiewicz logics (2005)

by G Metcalfe, N Olivetti, D M Gabbay
Venue:ACM Trans. Comput. Log