| The Algebraic System of $MP^M$ |
| Received:December 14, 2004 |
| Key Words:
medium logic propositional calculus system algebraic system subdirectly irreducible.
|
| Fund Project:Open Project of national computer software new technology key laboratory(nanjing university): Research of Incomplete and nconsistent Information in Database. Plan 973: sub-project of "Massive Information System Orderliness、Model and Mechanism Research":Ma |
| Author Name | Affiliation | | CAO Ru-ming | College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu 210016, China | | MAO Yu-guang | 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 | | CHEN Wen-bin | College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu 210016, China |
|
| Hits: 3089 |
| Download times: 1346 |
| 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. |
| Citation: |
| DOI:10.3770/j.issn:1000-341X.2006.04.028 |
| View Full Text View/Add Comment |
