# Projectivity in (bounded) integral residuated lattices

@article{Aglian2020ProjectivityI, title={Projectivity in (bounded) integral residuated lattices}, author={Paolo Aglian{\'o} and Sara Ugolini}, journal={arXiv: Logic}, year={2020} }

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…

## One Citation

### The polyhedral geometry of Wajsberg hoops

- MathematicsJournal 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…

## References

SHOWING 1-10 OF 70 REFERENCES

### Minimal varieties of residuated lattices

- Mathematics
- 2005

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…

### Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

- MathematicsAnn. Pure Appl. Log.
- 2013

### On subtractive varieties II: General properties

- Mathematics
- 1996

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

- Mathematics
- 1994

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

- MathematicsJ. Log. Comput.
- 2017

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

- Mathematics
- 2002

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…

### Residuated Lattices

- MathematicsArch. Formal Proofs
- 2015

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.