【摘要】 研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子"",则(∑(L),O,L,0*,)构成一个格蕴涵代数。更多还原

【Abstract】 The aim of this paper is to study Annihilators of finite lattice implication algebras.Mainly,we will find out all annihilators of li-ideals in the finite lattice implication algebras,and prove that doing annihilator is an order-reversing involutive operator.We can define an implicative operator "" in the set ∑(L) of all li-ideals of L,so(∑(L),O,L,0*,) is a lattice implication algebra.更多还原