A dual BCK-algebra is an algebra (X

A dual BCK-algebra is an algebra (X; ∗, 1) of type (2, 0) satisfying
(BE1), (BE2), and the following axioms:

ผลลัพธ์ (ไทย) 1:

BCK-พีชคณิตแบบ dual คือ การพีชคณิต (X ∗ 1) ชนิด (2, 0) ความพึงพอใจ(BE1), (BE2), และหลักการต่อไปนี้:

ผลลัพธ์ (ไทย) 2:

อั BCK พีชคณิตเป็นพีชคณิต (X; * 1) ประเภท (2, 0) ความพึงพอใจ
(BE1), (BE2) และหลักการต่อไปนี้: