有界蕴涵BCK-代数中的逆对合算子

Order-reversing Involution Operator in Bounded Implicative-algebras

在有界蕴涵BCK-代数与Boole数是等价地代数系统的基础上,从布尔格的角度出发,研究了有界蕴涵BCK-代数的逆对合算子及其相关的一些性质。

In terms of lattice,this paper discusses and demonstrates the order-reversing involution operator and its corresponding properties in bounded implicative-algebras,on the base of that bounded implicative-algebras and algebra are equivalent algebraic systems each other.