scientific article

zbMath0438.03059MaRDI QIDQ3879232

Kiyoshi Iseki

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

positive implicative BCK-algebraBCK-algebras with condition (S)

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (11)

On the structure of varieties with equationally definable principal congruences. III ⋮ Implicative commutative semigroups are equivalent to a class of BCK algebras ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Unnamed Item ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ PC-lattices: A Class of Bounded BCK-algebras ⋮ On pseudo-BL algebras and BCC-algebras ⋮ Every BCK-algebra is a set of residuables in an integral pomonoid ⋮ Sequent-systems and groupoid models. I ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ EI, involutory and EQI-ideal in bounded BCK-algebras.

This page was built for publication: