We develop a unifying approach to study projectivity and unification in substructural logics corresponding to varieties of residuated lattices generated by generalized rotation constructions. These include many interesting varieties especially in the realm of mathematical fuzzy logics. Our main results pertain what we shall call radical-determined varieties of rotations, which include all of the most relevant varieties in this framework. We characterize free algebras in a radical-determined variety of rotations in terms of weak Boolean products of rotations of free algebras in the variety of radicals, the latter being the intersections of maximal filters of the algebras in . Then we use such description to study projectivity in these varieties of rotations, characterizing finitely generated projective algebras. Moreover, we show that the strong unitary unification type of a variety of radicals implies the strong unitary type for the generated variety of rotations, which can be used to deduce the decidability of the admissibility of rules. As relevant applications of our general results, we obtain that product logic and nilpotent minimum logic have (strong) unitary unification type.

Agliano', P., Ugolini, S. (2023). Projectivity and unification in substructural logics of generalized rotations. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 153, 172-192 [10.1016/j.ijar.2022.11.018].

Projectivity and unification in substructural logics of generalized rotations

Agliano', Paolo;
2023-01-01

Abstract

We develop a unifying approach to study projectivity and unification in substructural logics corresponding to varieties of residuated lattices generated by generalized rotation constructions. These include many interesting varieties especially in the realm of mathematical fuzzy logics. Our main results pertain what we shall call radical-determined varieties of rotations, which include all of the most relevant varieties in this framework. We characterize free algebras in a radical-determined variety of rotations in terms of weak Boolean products of rotations of free algebras in the variety of radicals, the latter being the intersections of maximal filters of the algebras in . Then we use such description to study projectivity in these varieties of rotations, characterizing finitely generated projective algebras. Moreover, we show that the strong unitary unification type of a variety of radicals implies the strong unitary type for the generated variety of rotations, which can be used to deduce the decidability of the admissibility of rules. As relevant applications of our general results, we obtain that product logic and nilpotent minimum logic have (strong) unitary unification type.
Agliano', P., Ugolini, S. (2023). Projectivity and unification in substructural logics of generalized rotations. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 153, 172-192 [10.1016/j.ijar.2022.11.018].
File in questo prodotto:
File Dimensione Formato  
MV retraction-revision 6.pdf

accesso aperto

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

accesso aperto

Tipologia: PDF editoriale
Licenza: Creative commons
Dimensione 607.79 kB
Formato Adobe PDF
607.79 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/1221814