2020/08/31 by Paolo Aglianò, Aglianò, Paolo, Miguel Andrés Marcos +1
Computer Science · #Advanced Algebra and Logic #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.2008.13688
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 construction: the \em twist-product of a lattice. Twist-products were first considered by Kalman in 1958 to deal with order involutions on plain lattices, but the extension of this concept to residuated lattices has attracted some attention lately.