A dual BCK-algebra is an algebra (X

A dual BCK-algebra is an algebra (X, ◦, 1) of type (2, 0) satisfying

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

สอง BCK พีชคณิตเป็นการพีชคณิต (X ◦ 1) ของความพึงพอใจชนิด (2, 0)

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

อั BCK พีชคณิตเป็นพีชคณิต (x, ◦ 1) ประเภท (2, 0) ความพึงพอใจ

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

สอง bck พีชคณิตพีชคณิตเป็น ( x , ◦ 1 ) ชนิด ( 2 , 0 )
น่าพอใจ