摘要
把格蕴涵代数中滤子、素滤子、LI-理想、对偶原子和凸子格等概念拓展到区间集进行了重新定义,研究了三种基本的区间集上的一元格蕴涵代数方程,并给出了方程的可解性判断条件以及方程解集的若干性质。
The concepts are redefined on the interval sets, induding filter, prime filter, LI-ideal, dual atom and convex sub-lattice in the lattice implication algebra. Three basic unary lattice implication algebra equations on the interval sets are re- searched. The necessary and sufficient conditions for existence of solutions for the equations are presented. Some properties of equation sets also are given.
出处
《计算机与数字工程》
2014年第3期460-464,共5页
Computer & Digital Engineering
基金
河南省教育厅科学技术研究重点项目(编号:12B520063)资助
关键词
区间集
格蕴涵代数
一元格蕴涵代数方程
解集
the interval sets, lattice implication algebra, unary lattice implication algebra equations, solution set