位置：成果数据库 > 期刊 > 期刊详情页
半分配同余簇主同余的研究
  • ISSN号：1000-2243
  • 期刊名称：《福州大学学报：自然科学版》
  • 时间：0
  • 分类：O142[理学—数学;理学—基础数学]
  • 作者机构：[1]毕节学院数学系,贵州毕节551700, [2]广西师范大学计算机科学与信息工程学院,广西桂林541004
  • 相关基金：国家自然科学基金资助项目（60663001）; 贵州省教育厅自然科学基金资助项目（20090068）; 毕节学院重点资助项目（20092015）
作者： 曹发生[1], 王驹[2]
关键词： 有穷基, 主同余, 半分配同余簇, finite basis, principal congruence, congruence semi-distributive variety
中文摘要：

分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论.

英文摘要：

Congruence distributive variety is a proper subclass of congruence semi-distributive variety.An important conclusion on congruence semi-distributive variety to be similar to congruence distributive variety is attained in this paper.

同期刊论文项目
描述逻辑循环定义的理论框架及其推理机制研究
期刊论文 52 会议论文 1
同项目期刊论文
谓词模态逻辑到对应物理论的翻译
弱可逆线性有限自动机的一种分解
Expressive fuzzy description logics over lattices
Extending soft sets with description logics
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑μALCQO的语义及推理
循环ALCN-Tbox具有模型的条件
独立于设计者的行动推理
Reasoning within intuitionistic fuzzy rough description logics
基于语义的旅游信息搜索引擎
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带传递关系和存在量词的描述逻辑MSC推理
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
面向语义Web的描述逻辑
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
描述逻辑FL-循环术语集的语义及推理
有单位元的环的主同余
面向语义Web的Expressive格值描述逻辑
gfp-模型的描述逻辑FLε的循环术语集推理
基于Tabu的Deep Web特征选择算法
描述逻辑非标准推理
描述逻辑系统FLEN中概念的最小公共包含算法研究
基于最大不动点模型的描述逻辑系统FLε的有穷基
DDS并行模型及其形式化
基于正区域的快速求核算法
期刊信息
  • 《福州大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:福州大学
  • 主办单位:福州大学
  • 主编：杨黄浩
  • 地址：福建省福州市大学新区学园路2号
  • 邮编：350116
  • 邮箱：xb@fzu.edu.cn
  • 电话：0591-22865030 22865031
  • 国际标准刊号：ISSN：1000-2243
  • 国内统一刊号：ISSN：35-1117/N
  • 邮发代号:34-27
  • 获奖情况:
  • 全国高校优秀自然科学学报,华东地区优秀期刊,福建省优秀科技期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8994