then X is called a BCK-algebra .Any

then X is called a BCK-algebra .Any BCK/BCI-algebra X satisfies the following axioms

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

แล้ว X เรียกว่า BCK พีชคณิต .Any BCK / BCI พีชคณิต X satisfi ES หลักการดังต่อไปนี้

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

แล้ว X เรียกว่า bck พีชคณิต ใด ๆ bck / BCI พีชคณิต x ตรงหลักการต่อไปนี้