Varieties of Bounded K-lattices
Logic
2020-09-01 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2008.13688,
title = {Varieties of Bounded K-lattices},
author = {Paolo Aglianò and Miguel Andrès Marcos},
journal= {arXiv preprint arXiv:2008.13688},
year = {2020}
}