Projectable l-groups and algebras of logic: Categorical and algebraic connections

P.F.Conrad and other authors launched a general program for the investigation of lattice-ordered groups, aimed at elucidating some order-theoretic properties of these algebras by inquiring into the structure of their lattices of convex -subgroups. This approach can be naturally extended to residuated lattices and their convex subalgebras. In this broader perspective, we revisit the Galatos–Tsinakis categorical equivalence between integral generalized MV algebras and negative cones of -groups with a nucleus, showing that it restricts to an equivalence of the full subcategories whose objects are the projectable members of these classes. Upon recalling that projectable integral generalized MV algebras and negative cones of projectable -groups can be endowed with a positive Gödel implication, and turned into varieties by including this implication in their signature, we prove that there is an adjunction between the categories whose objects are the members of these varieties and whose morphisms are required to preserve implications.