In this paper, we use the generalize d rotation construction to lift results from the lattice of subvarieties of basic hoops to some parts of the lattice of subvarieties of monoidal t-norm based logic-algebras. In particular, we study splitting algebras for (the lattice of subvarieties of) varieties generated by generalized rotations of basic hoops and relevant subvarieties such as Wajsberg hoops, cancellative hoops and Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.

Aglianò, P., Ugolini, S. (2019). MTL-algebras as rotations of basic hoops. JOURNAL OF LOGIC AND COMPUTATION, 29(5), 763-784 [10.1093/logcom/exz005].

MTL-algebras as rotations of basic hoops

Aglianò, Paolo
;
2019-01-01

Abstract

In this paper, we use the generalize d rotation construction to lift results from the lattice of subvarieties of basic hoops to some parts of the lattice of subvarieties of monoidal t-norm based logic-algebras. In particular, we study splitting algebras for (the lattice of subvarieties of) varieties generated by generalized rotations of basic hoops and relevant subvarieties such as Wajsberg hoops, cancellative hoops and Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.
2019
Aglianò, P., Ugolini, S. (2019). MTL-algebras as rotations of basic hoops. JOURNAL OF LOGIC AND COMPUTATION, 29(5), 763-784 [10.1093/logcom/exz005].
File in questo prodotto:
File Dimensione Formato  
exz005.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 679.26 kB
Formato Adobe PDF
679.26 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/1069384