首页 | 本学科首页   官方微博 | 高级检索  
     检索      

中介命题演算系统$MP^{M}$的代数系统
引用本文:曹汝鸣,毛宇光,陈文彬.中介命题演算系统$MP^{M}$的代数系统[J].数学研究与评论,2006,26(4):846-850.
作者姓名:曹汝鸣  毛宇光  陈文彬
作者单位:1. 南京航空航天大学信息科学与技术学院,江苏,南京,210016
2. 南京航空航天大学信息科学与技术学院,江苏,南京,210016;南京大学计算机软件新技术国家重点实验室,江苏,南京,210093
基金项目:计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究,973计划,“海量信息系统规律、模型和维护机理研究”子课题海量信息系统知识与管理研究(G1999032701)
摘    要:MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统.本文通过在MP~M系统上建立一个代数系统,对MP~M系统进行了代数抽象,讨论了MP~M系统的代数性质.本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系.

关 键 词:中介逻辑  命题演算系统  代数系统  次直不可约
文章编号:1000-341X(2006)04-0846-05
收稿时间:12 14 2004 12:00AM
修稿时间:2004年12月14

The Algebraic System of $MP^M$
CAO Ru-ming,MAO Yu-guang and CHEN Wen-bin.The Algebraic System of $MP^M$[J].Journal of Mathematical Research and Exposition,2006,26(4):846-850.
Authors:CAO Ru-ming  MAO Yu-guang and CHEN Wen-bin
Institution:College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu 210016, China;College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu 210016, China; State Key Laboratory for Novel Software Technology, Nanjing University, Jiangsu 210093, China;College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu 210016, China
Abstract: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.
Keywords:medium logic  propositional calculus system  algebraic system  subdirectly irreducible
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《数学研究与评论》浏览原始摘要信息
点击此处可从《数学研究与评论》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号