Artículo

De Morgan Heyting algebras satisfying the identity x n (′*) ≈ x ( n +1)(′*)

Castaño, Valeria MarcelaIcon ; Muñoz Santis, Marcela PaolaIcon
Fecha de publicación: 06/2011
Editorial: Wiley VCH Verlag
Revista: Mathematical Logic Quarterly
ISSN: 0942-5616
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x^n (´∗) ≈ x^(n+1)(´∗) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH_1 by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in SDH_1 . We extend these results for finite algebras in the general case SDH_n .
Palabras clave: DE MORGAN HEYTING ALGEBRA , TOPOLOGICAL DUALITY , PRIESTEY SPACE
 
Archivos asociados
Thumbnail
 
Tamaño: 938.6Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/242351
URL: https://onlinelibrary.wiley.com/doi/10.1002/malq.200910122
DOI: http://dx.doi.org/10.1002/malq.200910122
Colecciones
Articulos(CCT - PATAGONIA CONFLUENCIA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - PATAGONIA CONFLUENCIA
Citación
Castaño, Valeria Marcela; Muñoz Santis, Marcela Paola; De Morgan Heyting algebras satisfying the identity x n (′*) ≈ x ( n +1)(′*); Wiley VCH Verlag; Mathematical Logic Quarterly; 57; 3; 6-2011; 236-245
Compartir
Altmétricas