In this paper we deal with quasivarieties of residuated structures which form the equivalent algebraic semantics of a positive frag- ment of some substructural logic. Our focus is mainly on varieties and quasivarieties of Wajsberg hoops, which are the equivalent algebraic semantics of the positive fragment of Łukasiewicz many-valued logic. In particular we study the lattice of subquasivari- eties of Wajsberg hoops and we describe completely all the subvarieties of Wajsberg hoops that are primitive. Though the treatment is mostly algebraic in nature, there are obvious connections with the underlying logics

Agliano', P. (2023). Quasivarieties of Wajsberg hoops. FUZZY SETS AND SYSTEMS [10.1016/j.fss.2023.03.017].

Quasivarieties of Wajsberg hoops

Agliano', Paolo
2023-01-01

Abstract

In this paper we deal with quasivarieties of residuated structures which form the equivalent algebraic semantics of a positive frag- ment of some substructural logic. Our focus is mainly on varieties and quasivarieties of Wajsberg hoops, which are the equivalent algebraic semantics of the positive fragment of Łukasiewicz many-valued logic. In particular we study the lattice of subquasivari- eties of Wajsberg hoops and we describe completely all the subvarieties of Wajsberg hoops that are primitive. Though the treatment is mostly algebraic in nature, there are obvious connections with the underlying logics
2023
Agliano', P. (2023). Quasivarieties of Wajsberg hoops. FUZZY SETS AND SYSTEMS [10.1016/j.fss.2023.03.017].
File in questo prodotto:
File Dimensione Formato  
quasivarieties-second revision.pdf

accesso aperto

Tipologia: Pre-print
Licenza: PUBBLICO - Pubblico con Copyright
Dimensione 469.04 kB
Formato Adobe PDF
469.04 kB Adobe PDF Visualizza/Apri
1-s2.0-S0165011423001392-main (1).pdf

accesso aperto

Tipologia: PDF editoriale
Licenza: Creative commons
Dimensione 477.33 kB
Formato Adobe PDF
477.33 kB Adobe PDF Visualizza/Apri

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/1230714