×

On pseudo-BCI ideals of pseudo-BCI algebras. (English) Zbl 1119.03068

A pseudo-BCI algebra is a pseudo-BCK algebra in which the axiom \(0\leq x\) is omitted. The elementary properties of atoms (with respect to \(\leq\)) and initial sections are described.

MSC:

03G25 Other algebras related to logic
06F35 BCK-algebras, BCI-algebras