格蕴涵代数不等式  

Inequality of Lattice Implication Algebra

作　　者：赖家俊[1] 徐扬[1] 

机构地区：[1]西南交通大学智能控制开发中心,四川成都610031

出　　处：《江南大学学报（自然科学版）》2007年第3期366-370,共5页Joural of Jiangnan University (Natural Science Edition)　

基　　金：国家自然科学基金项目(60474022);教育部博士点基金项目(20060613007)

摘　　要：针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中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.

关 键 词：格蕴涵代数 格蕴涵代数不等式 解集 

分 类 号：O153[理学—数学]