Injectives in residuated algebras
Héctor Freytes · arXiv (Cornell University) · 2008
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.