3 citations · 5 across the 6 of their papers we have counts for
8 papers
Linear Logic via algebra I: Girard algebras
Paolo Agliano, Mitar Nedeljkovic
In this paper we develop several aspects of the algebraic theory of Girard algebras, regarded as the equivalent algebraic semantics of multiplicative additive Linear Logic $\mathsf…
Varieties of MV-monoids and positive MV-algebras
Marco Abbadini, Paolo Aglianò, Stefano Fioravanti
MV-monoids are algebras where is a bounded distributive lattice, both $\langle A, \oplus, 0…
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…
On Freese's technique
Paolo Aglianò, Stefano Bartali, Stefano Fioravanti
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 cong…
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…
Projectivity in (bounded) integral residuated lattices
Paolo Aglianò, Sara Ugolini
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 partic…