曹汝鸣,毛宇光,陈文彬.中介命题演算系统$MP^{M}$的代数系统[J].数学研究及应用,2006,26(4):846~850
中介命题演算系统$MP^{M}$的代数系统
The Algebraic System of $MP^M$
投稿时间:2004-12-14  
DOI:10.3770/j.issn:1000-341X.2006.04.028
中文关键词:  中介逻辑  命题演算系统  代数系统  次直不可约.
英文关键词:medium logic  propositional calculus system  algebraic system  subdirectly irreducible.
基金项目:计算机软件新技术国家重点实验室(南京大学)开放课题: 数据库中的不完全信息与不一致信息研究; 973计划: ``海量信息系统规律、模型和维护机理研究''子课题: 海量信息系统知识与管理研究 (G1999032701)
作者单位
曹汝鸣 南京航空航天大学信息科学与技术学院, 江苏 南京 210016 
毛宇光 南京航空航天大学信息科学与技术学院, 江苏 南京 210016
南京大学计算机软件新技术国家重点实验室, 江苏 南京 210093 
陈文彬 南京航空航天大学信息科学与技术学院, 江苏 南京 210016 
摘要点击次数: 3079
全文下载次数: 1335
中文摘要:
      $MP^{M}$系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统.本文通过在$MP^{M}$系统上建立一个代数系统,对$MP^{M}$系统进行了代数抽象,讨论了$MP^{M}$系统的代数性质.本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系.
英文摘要:
      $MP^M$ is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database. In this paper, a new type of algebra is introduced, which is an algebraic abstract of $MP^M$ system just as Boolean algebra is an algebraic abstract of two-valued propositional calculus. The main purpose of this paper is to investigate the various properties of the new algebra.
查看全文  查看/发表评论  下载PDF阅读器