Regular elements and Kolmogorov translation in residuated lattices

Abstract

In this article we study in detail the regular elements of a bounded, commutative and integral residuated lattice. We introduce the notion of a regular variety and explore its relationship with the Kolmogorov negative translation. In addition, we investigate the corresponding notions in the axiomatic extensions of the Full Lambek calculus with exchange and weakening.