中介命题演算系统MP^M的代数系统  

The Algebraic System of MP^M

作　　者：曹汝鸣[1] 毛宇光[1] 陈文彬[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016

出　　处：《Journal of Mathematical Research and Exposition》2006年第4期846-850,共5页数学研究与评论（英文版）

基　　金：计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究;973计划;"海量信息系统规律;模型和维护机理研究"子课题海量信息系统知识与管理研究(G1999032701)

摘　　要：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-vaiued propositional calculus. The main purpose of this paper is to investigate the various properties of the new algebra.

关 键 词：中介逻辑 命题演算系统 代数系统 次直不可约 

分 类 号：O141.1[理学—数学]