4 papers · 1 filter
Structural and universal completeness in algebra and logic
Paolo Aglianò, Sara Ugolini
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 characterizati…
An algebraic investigation of Linear Logic
Paolo Aglianò
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 logic…
Strictly join irreducible varieties of residuated lattices
Paolo Aglianò, Sara Ugolini
We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices. We explore the connections with well-connected algebras and suitable generaliz…
Varieties of Bounded K-lattices
Paolo Aglianò, Miguel Andrès Marcos
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 constr…