Boolean representation of bounded BCK-algebras (Q934913)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Boolean representation of bounded BCK-algebras |
scientific article; zbMATH DE number 5306284
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean representation of bounded BCK-algebras |
scientific article; zbMATH DE number 5306284 |
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
0 references
0 references
0.9005158
0 references
0 references
