位置:成果数据库 > 期刊 > 期刊详情页
利用格蕴涵代数找出所有滤子的算法
  • ISSN号:1006-8074
  • 期刊名称:数学理论与应用
  • 时间:2012.9.30
  • 页码:20-23
  • 分类:O153.1[理学—数学;理学—基础数学]
  • 作者机构:[1]郑州大学数学系,郑州,450001
  • 相关基金:国家自然科学基金资助项目(the Natural Science Foundation of China under Grant NO.61175055)
  • 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
作者: 赵建彬|朱华|
中文摘要:

格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

英文摘要:

The filters of lattice implication algebras are important algebraic structure for lattice - valued logic reason ing. In this paper, a method to find all filters is proposed by using the implicative operators in lattice implication alge bras. Some examples are listed to illustrate the effectiveness and feasibility of the above method.

同期刊论文项目
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文
期刊信息
  • 《数学理论与应用》
  • 主管单位:中南大学
  • 主办单位:湖南省数学学会
  • 主编:黄云清
  • 地址:湖南省长沙市岳麓区中南大学本部
  • 邮编:410075
  • 邮箱:hyprob@csu.edu.cn
  • 电话:0731-82655243
  • 国际标准刊号:ISSN:1006-8074
  • 国内统一刊号:ISSN:43-1334/O1
  • 邮发代号:42-187
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),德国数学文摘
  • 被引量:2392