• Corpus ID: 221376501

Projectivity in (bounded) integral residuated lattices

  title={Projectivity in (bounded) integral residuated lattices},
  author={Paolo Aglian{\'o} and Sara Ugolini},
  journal={arXiv: Logic},
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… 

Figures from this paper

The polyhedral geometry of Wajsberg hoops

  • S. Ugolini
  • Mathematics
    Journal of Logic and Computation
  • 2023
We show that the algebraic category of finitely presented Wajsberg hoops is equivalent to a non-full subcategory of finitely presented MV-algebras. We use this connection to show how methods and



Minimal varieties of residuated lattices

Abstract.In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many commutative atoms and construct continuum many

Computing coproducts of finitely presented Gödel algebras

On subtractive varieties II: General properties

As a sequel to [23] we investigate ideal properties focusing on subtractive varieties. After having listed a few basic results, we give several characterizations of the commutator of ideals and

On the structure of varieties with equationally definable principal congruences IV

The notion of apseudo-interior algebra is introduced; it is a hybrid of a (topological) interior algebra and a residuated partially ordered monoid. The elementary arithmetic of pseudo-interior

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

This article studies the class of strongly perfect MTL-algebras having an involutive co-radical, and the variety they generate, namely SBP0, and establishes categorical equivalences for several of their relevant proper subvarieties by employing a generalized notion of triplets whose main components are a Boolean algebra and a prelinear semihoop.

A Survey of Residuated Lattices

Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid operation to lattices. The resulting residuated

Representation by triples of algebras with an MV-retract

Residuated Lattices

The theory of residuated lattices, first proposed by Ward and Dilworth [5], is formalised in Isabelle/HOL and conditions for a residuated boolean algebra to form a relation algebra are proved.

Splittings in GBL-algebras I: The general case