Boolean representation of bounded BCK-algebras

Author： Gispert Joan  

Publisher： Springer Publishing Company

ISSN： 1432-7643

Source： Soft Computing, Vol.12, Iss.10, 2008-08, pp. : 941-954

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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.

Related content

On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras

By Iorgulescu Afrodita  

Soft Computing, Vol. 12, Iss. 9, 2008-07 ,pp. : 835-856 (22)

Springer Publishing Company

Access to resources Recommend Favorite

On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-In

By Turan G.   Vatan F.  

Journal of Computer and System Sciences, Vol. 54, Iss. 1, 1997-02 ,pp. : 199-212 (14)

Academic Press

Access to resources Recommend Favorite

A Representation Theorem for MV-algebras

By Jenča Gejza  

Soft Computing, Vol. 11, Iss. 6, 2007-04 ,pp. : 557-564 (8)

Springer Publishing Company

Access to resources Recommend Favorite

Lambda abstraction algebras: representation theorems

By Pigozzi D.   Salibra A.  

Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. : 5-52 (48)

Elsevier

Access to resources Recommend Favorite

On boolean lowness and boolean highness

By Reith S.   Wagner K.W.  

Theoretical Computer Science, Vol. 261, Iss. 2, 2001-06 ,pp. : 305-321 (17)

Elsevier

Access to resources Recommend Favorite