A note on ℋ3-algebras
Archivos
Autores
Celani, Sergio Arturo
Director
Tipo de contenido
Artículo de revista
Idioma del documento
EspañolFecha de publicación
1997
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
In this note we shall generalize some results of the threevalued Lukasiewicz algebras to three-valued symmetrical Heyting algebras. We prove that a three-valued Heyting algebra with axe is a product of a Boolean algebra by a three-valued symmetrical Heyting symmetric algebra with center. We also introduce the involutive rough sets and we prove a representation theorem for three-valued symmetrical Heyting algebras by means of rough sets.