您要查找的是不是：
- 逻辑logic
- BCK-逻辑BCK-logic
- 逻辑的logistic
- BCK代数BCK Algebra
- BCK-代数BCK-algebra
- 逻辑电路logic circuit
- BCK-滤子BCK-algebra
- 逻辑关系logical relationship
- BCK代数扩张the extension of BCK-algebra
- 数理逻辑symbolic logic
- 弱BCK-代数weak BCK-algeb'ra
- 不合逻辑illogic
- 模糊BCK-滤子Fuzzy BCK-filter
- 质模糊BCK-滤子fuzzy BCK-fiher congruence
- 逻辑运算Boolean calculation
- 正蕴涵BCK一代数positive implicative BCK - algebra
- 逻辑能力logical capability
- 有界交换BCK-代数bounded commutative BCK-algebra
- 逻辑分析logical analysis
- 不分明化BCK-理想fuzzifying BCK-ideal
