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 logicsFile | 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.
https://hdl.handle.net/11365/1230714