The subvariety of commutative residuated lattices represented by twist-products
Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety K of commutative residuated lattices that can be represented by twis...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00025240_v71_n1_p5_Busaniche |
| Aporte de: |
| Sumario: | Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety K of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of K, a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in K, and we analyze the subvariety of representable algebras in K. Finally, we consider some specific class of bounded integral commutative residuated lattices G, and for each fixed element L ∈ G, we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras. © 2014 Springer Basel. |
|---|