Boolean representation of bounded BCK-algebras

摘要

We define the Boolean center and the Boolean skeleton of a bounded BCK-algebra, and we use the Boolean skeleton to obtain a representation of bounded BCK-algebras, called (weak) Pierce $bmathbb{BCK}$ -representation, as (weak) Boolean products of bounded BCK-algebras. We analyze the cases in which the stalks in these representations are directly indecomposable, finitely subdirectly irreducible or simple algebras. We give some examples of algebras and relative subvarieties of bounded BCK-algebras to illustrate the results.