In this paper, we study projective algebras in varieties of (bounded) commutative integral residuated lattices. We make use of a well-established construction in residuated lattices, the ordinal sum, and the order property of divisibility. Via the connection between projective and splitting algebras, we show that the only finite projective algebra in FLew is the two-element Boolean algebra. Moreover, we show that several interesting varieties have the property that every finitely presented algebra is projective, such as locally finite varieties of hoops. Furthermore, we show characterization results for finite projective Heyting algebras, and finitely generated projective algebras in locally finite varieties of bounded hoops and BL-algebras. Finally, we connect our results with the algebraic theory of unification.

Agliano', P., Ugolini, S. (2022). Projectivity in (bounded) commutative integral residuated lattices. ALGEBRA UNIVERSALIS, 84(1) [10.1007/s00012-022-00798-x].

Projectivity in (bounded) commutative integral residuated lattices

Agliano', Paolo;
2022-01-01

Abstract

In this paper, we study projective algebras in varieties of (bounded) commutative integral residuated lattices. We make use of a well-established construction in residuated lattices, the ordinal sum, and the order property of divisibility. Via the connection between projective and splitting algebras, we show that the only finite projective algebra in FLew is the two-element Boolean algebra. Moreover, we show that several interesting varieties have the property that every finitely presented algebra is projective, such as locally finite varieties of hoops. Furthermore, we show characterization results for finite projective Heyting algebras, and finitely generated projective algebras in locally finite varieties of bounded hoops and BL-algebras. Finally, we connect our results with the algebraic theory of unification.
Agliano', P., Ugolini, S. (2022). Projectivity in (bounded) commutative integral residuated lattices. ALGEBRA UNIVERSALIS, 84(1) [10.1007/s00012-022-00798-x].
File in questo prodotto:
File Dimensione Formato  
Aglianò Ugolini - Projectivity in BCIRL - final.pdf

embargo fino al 29/11/2023

Tipologia: Post-print
Licenza: PUBBLICO - Pubblico con Copyright
Dimensione 749.51 kB
Formato Adobe PDF
749.51 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
s00012-022-00798-x.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 544.35 kB
Formato Adobe PDF
544.35 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: https://hdl.handle.net/11365/1221154