位置:成果数据库 > 期刊 > 期刊详情页
格蕴涵代数不等式
  • 期刊名称:江南大学学报, 2007, 6(3): 366-370
  • 时间:0
  • 分类:O153[理学—数学;理学—基础数学]
  • 作者机构:[1]西南交通大学智能控制开发中心,四川成都610031
  • 相关基金:国家自然科学基金项目(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.

同期刊论文项目
期刊论文 258 会议论文 118 著作 4
同项目期刊论文