咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 2 篇 strong extension
  • 1 篇 extension
  • 1 篇 default
  • 1 篇 recursively enum...
  • 1 篇 congruence pairs
  • 1 篇 decomposable ms-...
  • 1 篇 congruence latti...
  • 1 篇 ms-algebras
  • 1 篇 finite/infinite ...
  • 1 篇 permutability

机构

  • 1 篇 key laboratory o...
  • 1 篇 department of ma...
  • 1 篇 school of comput...
  • 1 篇 state key labora...

作者

  • 1 篇 yuefei sui
  • 1 篇 wei li
  • 1 篇 sanaa el-assar
  • 1 篇 yuhui wang
  • 1 篇 abd el-mohsen ba...

语言

  • 2 篇 英文
检索条件"主题词=Strong extension"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
The propositional normal default logic and the finite/infinite injury priority method
收藏
分享
引用
Science China(Information Sciences) 2017年 第9期60卷 99-108页
作者： Wei LI Yuefei SUI Yuhui WANG State Key Laboratory of Software Development Environment Beihang University Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of Sciences School of Computer and Control Engineering University of Chinese Academy of Sciences
In propositional normal default logic, given a default theory(?, D) and a well-defined ordering of D, there is a method to construct an extension of(?, D) without any injury. To construct a strong extension of(?, D) g... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
Congruence Pairs of Decomposable MS-Algebras
收藏
分享
引用
Chinese Annals of Mathematics,Series B 2021年 第4期42卷 561-574页
作者： Sanaa El-ASSAR Abd El-Mohsen BADAWY Department of Mathematics Faculty of ScienceTanta UniversityTantaEgypt
In this paper,the authors first introduce the concept of congruence pairs on the class of decomposable MS-algebras generalizing that for principal MS-algebras(see[13]).They show that every congruence relationθon a de... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件