Commutative integral bounded residuated lattices with an added involution
A symmetric residuated lattice is an algebra A = (A, ∨, ∧, *, →, ∼, 1, 0) such that (A, ∨, ∧, *, →, 1, 0) is a commutative integral bounded residuated lattice and the equations ∼ ∼ x = x and ∼ (x ∨ y) = ∼ x ∧ ∼ y are satisfied. The aim of the paper is to investigate the properties of the unary opera...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo publishedVersion |
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_01680072_v161_n2_p150_Cignoli http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v161_n2_p150_Cignoli_oai |
| Aporte de: |
| id |
I28-R145-paper_01680072_v161_n2_p150_Cignoli_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-paper_01680072_v161_n2_p150_Cignoli_oai2020-10-19 Cignoli, R. Esteva, F. 2009 A symmetric residuated lattice is an algebra A = (A, ∨, ∧, *, →, ∼, 1, 0) such that (A, ∨, ∧, *, →, 1, 0) is a commutative integral bounded residuated lattice and the equations ∼ ∼ x = x and ∼ (x ∨ y) = ∼ x ∧ ∼ y are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription ε x = ∼ x → 0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive (for instance, on a symmetric Heyting algebra ε is an interior operator if and only the equation (x → 0) ∨ ((x → 0) → 0) = 1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we consider the chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n = 1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. © 2009 Elsevier B.V. All rights reserved. application/pdf http://hdl.handle.net/20.500.12110/paper_01680072_v161_n2_p150_Cignoli info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Ann. Pure Appl. Logic 2009;161(2):150-160 Interior operators Order reversing involutions Pseudocomplemented residuated lattices Residuated lattices Stonean residuated lattices Commutative integral bounded residuated lattices with an added involution info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v161_n2_p150_Cignoli_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| topic |
Interior operators Order reversing involutions Pseudocomplemented residuated lattices Residuated lattices Stonean residuated lattices |
| spellingShingle |
Interior operators Order reversing involutions Pseudocomplemented residuated lattices Residuated lattices Stonean residuated lattices Cignoli, R. Esteva, F. Commutative integral bounded residuated lattices with an added involution |
| topic_facet |
Interior operators Order reversing involutions Pseudocomplemented residuated lattices Residuated lattices Stonean residuated lattices |
| description |
A symmetric residuated lattice is an algebra A = (A, ∨, ∧, *, →, ∼, 1, 0) such that (A, ∨, ∧, *, →, 1, 0) is a commutative integral bounded residuated lattice and the equations ∼ ∼ x = x and ∼ (x ∨ y) = ∼ x ∧ ∼ y are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription ε x = ∼ x → 0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive (for instance, on a symmetric Heyting algebra ε is an interior operator if and only the equation (x → 0) ∨ ((x → 0) → 0) = 1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we consider the chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n = 1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. © 2009 Elsevier B.V. All rights reserved. |
| format |
Artículo Artículo publishedVersion |
| author |
Cignoli, R. Esteva, F. |
| author_facet |
Cignoli, R. Esteva, F. |
| author_sort |
Cignoli, R. |
| title |
Commutative integral bounded residuated lattices with an added involution |
| title_short |
Commutative integral bounded residuated lattices with an added involution |
| title_full |
Commutative integral bounded residuated lattices with an added involution |
| title_fullStr |
Commutative integral bounded residuated lattices with an added involution |
| title_full_unstemmed |
Commutative integral bounded residuated lattices with an added involution |
| title_sort |
commutative integral bounded residuated lattices with an added involution |
| publishDate |
2009 |
| url |
http://hdl.handle.net/20.500.12110/paper_01680072_v161_n2_p150_Cignoli http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v161_n2_p150_Cignoli_oai |
| work_keys_str_mv |
AT cignolir commutativeintegralboundedresiduatedlatticeswithanaddedinvolution AT estevaf commutativeintegralboundedresiduatedlatticeswithanaddedinvolution |
| _version_ |
1766026676323483648 |