欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算（记为0＊）是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑（L）上定义一个蕴涵算子＂＂,则（∑（L）,O,L,0＊,）构成一个格蕴涵代数。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：