A note on H3-algebras
-
Autores: Sergio Arturo Celani
- Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 31, Nº. 2, 1997, págs. 125-136
- Idioma: inglés
- Enlaces
-
Resumen
In this note we shall generalize some results of the three-valued 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.
¿Es nuevo? Regístrese
Ventajas de registrarse
