Sequent and hypersequent calculi for Abelian and Łukasiewicz logics
Metcalfe George  Olivetti Nikola Gabbay Dov M.
ACM Transactions on Computational Logic . Vol. 6, No. 3 (2005), s.578-613
článok z periodika
(1) - monografia