摘要
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.
基金
计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究
973计划
"海量信息系统规律
模型和维护机理研究"子课题海量信息系统知识与管理研究(G1999032701)
关键词
中介逻辑
命题演算系统
代数系统
次直不可约
medium logic
propositional calculus system
aigebraic system
subdirectly irreducible.
