Searcharxiv⌕ Search

arXiv subjects

Paolo Aglianò

Publications and source records attributed to Paolo Aglianò.

9 recordsLinked to original sources
arXiv2025

Varieties of MV-monoids and positive MV-algebras

MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative monoids, and some further connecting axioms are satisfied. Every MV-algebra in the signature $\{\oplus,\neg,0\}$ is term equivalent to an algebra that has an MV-monoid as a reduct, by defining, as standard, $1:= \neg 0$, $x \odot y := \neg(\neg x \oplus\neg y)$, $x \vee y := (x \odot \neg y) \oplus y$ and $x \wedge y := \neg(\neg x \vee \neg y)$. Particular examples of MV-monoids are positive MV-algebras, i.e. the $\{\vee, \wedge, \oplus, \odot, 0, 1\}$-subreducts of MV-algebras. Positive MV-algebras form a peculiar quasivariety in the sense that, albeit having a logical motivation (being the quasivariety of subreducts of MV-algebras), it is not the equivalent quasivariety semantics of any logic. In this paper, we study the lattices of subvarieties of MV-monoids and of positive MV-algebras. In particular, we characterize and axiomatize all almost minimal varieties of MV-monoids, we characterize the finite subdirectly irreducible positive MV-algebras, and we characterize and axiomatize all varieties of positive MV-algebras.

math.RA↗
arXiv2023

Structurally complete finitary extensions of positive Łukasiewicz logic

In this paper we study $\mathcal{MV}^+$, i.e. the positive fragment of Łukasiewicz Multi-Valued Logic $\mathcal{MV}$. In particular we describe all the finitary extensions of $\mathcal{MV}^+$ that are structurally complete and all the axiomatic extensions of $\mathcal{MV}^+$ that are hereditarily structurally complete. Examples of hereditarily structurally complete finitary extensions and non hereditarily structurally complete finitary extensions are provided.

math.LO↗
arXiv2023

Structural and universal completeness in algebra and logic

In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively universally complete, and passively structurally complete. We apply these general results to varieties of bounded lattices and to quasivarieties related to substructural logics. In particular we show that a substructural logic satisfying weakening is passively structurally complete if and only if every classical contradiction is explosive in it. Moreover, we fully characterize the passively structurally complete varieties of MTL-algebras, i.e., bounded commutative integral residuated lattices generated by chains.

math.LO↗
arXiv2023

On Freese's technique

In this paper we explore some applications of a certain technique (that we call the Freese's technique), which is a tool for identifying certain lattices as sublattices of the congruence lattice of a given algebra. In particular we will give sufficient conditions for two family of lattices (called the rods and the snakes) to be admissible as sublattices of a variety generated by a given algebra, extending an unpublished result of R. Freese and P. Lipparini.

math.RA↗
arXiv2023

An algebraic investigation of Linear Logic

In this paper we investigate two logics from an algebraic point of view. The two logics are: MALL (multiplicative-additive Linear Logic) and LL (classical Linear Logic). Both logics turn out to be strongly algebraizable in the sense of Blok and Pigozzi and their equivalent algebraic semantics are, respectively, the variety of Girard algebras and the variety of girales. We show that any variety of girales has equationally definable principale congruences and we classify all varieties of Girard algebras having this property. Also we investigate the structure of the algebras in question, thus obtaining a representation theorem for Girard algebras and girales. We also prove that congruence lattices of girales are really congruence lattices of Heyting algebras and we construct examples in order to show that the variety of girales contains infinitely many nonisomorphic finite simple algebras.

math.LO↗
arXiv2022

Projectivity in (bounded) integral residuated lattices

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated lattices: the ordinal sum. Its interaction with divisibility makes our results have a better scope in varieties of divisibile commutative integral residuated lattices, and it allows us to show that many such varieties have the property that every finitely presented algebra is projective. In particular, we obtain results on (Stonean) Heyting algebras, certain varieties of hoops, and product algebras. Moreover, we study varieties with a Boolean retraction term, showing for instance that in a variety with a Boolean retraction term all finite Boolean algebras are projective. Finally, we connect our results with the theory of Unification.

math.LO↗
arXiv2021

Strictly join irreducible varieties of residuated lattices

We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices. We explore the connections with well-connected algebras and suitable generalizations, focusing in particular on representable varieties. Moreover we find weakened notions of Hallden completeness that characterize join irreducibility. We characterize strictly join irreducible varieties of basic hoops, and use the generalized rotation construction to find strictly join irreducible varieties in subvarieties of MTL-algebras. We also obtain some general results about linear varieties of residuated lattices, with a particular focus on representable varieties, and a characterization for linear varieties of basic hoops.

math.LO↗
arXiv2020

Varieties of Bounded K-lattices

In this paper we continue to study varieties of K-lattices, focusing on their bounded versions. These (bounded) commutative residuated lattices arise from a specific kind of construction: the {\em twist-product} of a lattice. Twist-products were first considered by Kalman in 1958 to deal with order involutions on plain lattices, but the extension of this concept to residuated lattices has attracted some attention lately.

math.LO↗