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:
Publicado: |
2014
|
---|---|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00025240_v71_n1_p5_Busaniche http://hdl.handle.net/20.500.12110/paper_00025240_v71_n1_p5_Busaniche |
Aporte de: |
id |
paper:paper_00025240_v71_n1_p5_Busaniche |
---|---|
record_format |
dspace |
spelling |
paper:paper_00025240_v71_n1_p5_Busaniche2023-06-08T14:21:53Z The subvariety of commutative residuated lattices represented by twist-products Glivenko residuated lattices involution residuated lattices 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 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. 2014 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00025240_v71_n1_p5_Busaniche http://hdl.handle.net/20.500.12110/paper_00025240_v71_n1_p5_Busaniche |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Glivenko residuated lattices involution residuated lattices twist-products |
spellingShingle |
Glivenko residuated lattices involution residuated lattices twist-products The subvariety of commutative residuated lattices represented by twist-products |
topic_facet |
Glivenko residuated lattices involution residuated lattices twist-products |
description |
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. |
title |
The subvariety of commutative residuated lattices represented by twist-products |
title_short |
The subvariety of commutative residuated lattices represented by twist-products |
title_full |
The subvariety of commutative residuated lattices represented by twist-products |
title_fullStr |
The subvariety of commutative residuated lattices represented by twist-products |
title_full_unstemmed |
The subvariety of commutative residuated lattices represented by twist-products |
title_sort |
subvariety of commutative residuated lattices represented by twist-products |
publishDate |
2014 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00025240_v71_n1_p5_Busaniche http://hdl.handle.net/20.500.12110/paper_00025240_v71_n1_p5_Busaniche |
_version_ |
1768544709513314304 |