曹汝鸣,毛宇光,陈文彬.中介命题演算系统$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) |
|
摘要点击次数: 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阅读器 |