A note on ℋ3-algebras
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 int...
- Autores:
-
Celani, Sergio Arturo
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1997
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43676
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43676
http://bdigital.unal.edu.co/33774/
- Palabra clave:
- Heyting algebras
De Morgan algebras
rough sets
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|