[计]= BaCKspace,退格,回退;
例句:
The Properties of Principal Ideal BCK-algebra
主理想BCK-代数的性质
These show that BCK/ BCI algebras are considerably wide structures.
这些说明BCK/BCI代数是相当广泛的结构。
BCK/ BCI algebras are two classes of logic algebras.
BCK/BCI代数是两类逻辑代数,BCI代数是BCK代数的推广。