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.

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

GIL FEREZ, JOSE';LEDDA, ANTONIO;PAOLI, FRANCESCO;
2016

Abstract

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.
Conrad's program; residuated lattices; generalized MV algebras
File in questo prodotto:
File Dimensione Formato  
Projectable.pdf

Solo gestori archivio

Tipologia: versione pre-print
Dimensione 583.94 kB
Formato Adobe PDF
583.94 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11584/156363
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact