陈文彬

作品数：2被引量：2H指数：1
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：MP中介逻辑M次直不可约代数系统更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
中介命题演算系统MP^M的代数系统被引量：2
《Journal of Mathematical Research and Exposition》2006年第4期846-850,共5页曹汝鸣 毛宇光 陈文彬 
计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究;973计划;"海量信息系统规律;模型和维护机理研究"子课题海量信息系统知识与管理研究(G1999032701)
MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立一个代数系统,对MP^M系统进行了代数抽象,讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积,以及...
关键词：中介逻辑 命题演算系统 代数系统 次直不可约 
中介命题演算系统MP^M的公理完备集被引量：1
《计算机科学》2006年第2期151-154,共4页曹汝鸣 毛宇光 陈文彬 
计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究;973计划:"海量信息系统规律;模型和维护机理研究"子课题:海量信息系统知识与管理研究;编号:G1999032701。
本文基于中介逻辑命题演算系统 MP^M 构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对 MP^M、MF^M 系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查...
关键词：中介逻辑 命题演算系统 公理集 查询优化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部