Boolean representation of bounded BCK-algebras (Q934913)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean representation of bounded BCK-algebras |
scientific article |
Statements
Boolean representation of bounded BCK-algebras (English)
0 references
30 July 2008
0 references
It is proved that every bounded BCK-algebra has a relative Boolean Factor Congruence property. The Boolean algebra of the factor congruences is isomorphic to the Boolean skeleton. Some topological representations are characterized by filters.
0 references
BCK-algebra
0 references
bounded BCK-algebra
0 references
Pierce representation
0 references
involution
0 references
skeleton
0 references
0 references
