1. A finite axiomatization of positive MV-algebras;Abbadini;Algebra Univers.,2022
2. Cancellative residuated lattices;Bahls;Algebra Univers.,2003
3. Injective hulls in the category of distributive lattices;Banaschewski;J. Reine Angew. Math.,1968
4. ⁎-Autonomous Categories;Barr,1979
5. Algebraic aspects of cut elimination;Bellardinelli;Stud. Log.,2004