您要查找的是不是：
- 逻辑 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
