Terms that define nuclei on residuated lattices: a case study of BL-algebras

Abstract

A nucleus $\gamma$ on a (bounded commutative integral) residuated lattice $\mathbf{A}$ is a closure operator that satisfies the inequality $\gamma (a)\cdot \gamma (b)\le \gamma (a\cdot b)$ for all $a,b\in A$. In this article, among several results, a description of an arbitrary nucleus on a residuated lattice is given. Special attention is given to terms that define a nucleus on every structure of a variety, as a means of generalizing the double negation operation. Some general results about these terms are presented, together with examples. The main result of this article consists of the description of all terms of this kind for every given subvariety of BL-algebras. We exhibit interesting nontrivial examples.