島根大学総合理工学部紀要.シリーズB

ダウンロード数 : ?
島根大学総合理工学部紀要.シリーズB 31
1998-03 発行

Annihilators in BCK-algebras(II)

近藤 通朗
ファイル
内容記述(抄録等)
In this paper we show that for every BCI-algebra X,
(1) the family CI(X) of all closed ideal in X forms a pseudo-complemented distributive lattice if and only if X is the BCK-algebra;
(2) ∀A ∈ CI(X)A ⊆ A^<**>⇔ X is the BCK-algebra ;