位置:成果数据库 > 期刊 > 期刊详情页
带蕴涵算子的N元格蕴涵代数不等式的解
  • ISSN号:1671-5365
  • 期刊名称:宜宾学院学报
  • 时间:2012.3
  • 页码:1-4
  • 分类:O153[理学—数学;理学—基础数学]
  • 作者机构:[1]宜宾学院数学学院,四川宜宾644000
  • 相关基金:国家自然科学基金资助项目(61175055); 宜宾学院院级重点项目(2010Z04)
  • 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
作者: 龙希庆|
中文摘要:

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集.

英文摘要:

The N-inequality with implication operator was studied in the lattice implication algebra.The necessary and sufficient conditions for existence of solution for the N-inequality will be presented respectively.In the case,that b is an irreducible element of L,the all maximal elements of solutions and detailed solution sets are given.

同期刊论文项目
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文
期刊信息
  • 《宜宾学院学报》
  • 主管单位:四川省教育厅
  • 主办单位:宜宾学院
  • 主编:汪明义
  • 地址:四川宜宾市翠屏区酒圣路8号
  • 邮编:644000
  • 邮箱:yb3545010@sina.com
  • 电话:0831-3531118
  • 国际标准刊号:ISSN:1671-5365
  • 国内统一刊号:ISSN:51-1630/Z
  • 邮发代号:
  • 获奖情况:
  • 全国优秀社科学报,全国高校人文社会科学质量进步奖,四川省高校社科优秀学报,首届《CAJ-CD规范》执行优秀期刊
  • 国内外数据库收录:
  • 中国国家哲学社会科学学术期刊数据库
  • 被引量:4871