摘要
针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.
In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra L were investigated, and some properties and corollaries were obtained. We presents condition of solvable, and investigate several characterizations of solution set in unary lattice implication algebra inequalities.
出处
《江南大学学报(自然科学版)》
CAS
2007年第3期366-370,共5页
Joural of Jiangnan University (Natural Science Edition)
基金
国家自然科学基金项目(60474022)
教育部博士点基金项目(20060613007)
关键词
格蕴涵代数
格蕴涵代数不等式
解集
lattice implication algebra
lattice implication algebra inequality
solution set