Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup

We consider the relationship between ideals of a BCI-algebra and order ideals of its adjoint semigroup. We show that (1) if I is an ideal, then I=M−1(M(I)), (2) M(M−1(J)) is the order ideal generated by J∩R(X), (3) if X is a BCK-algebra, then J=M(M−1(J)) for any order ideal J of X, thus, for each BC...

Full description

Saved in:
Bibliographic Details
Main Author: Michiro Kondo
Format: Article
Language:English
Published: Wiley 2001-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Online Access:http://dx.doi.org/10.1155/S0161171201010985
Tags: Add Tag
No Tags, Be the first to tag this record!