| 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: 3579 |
| Download times: 1790 |
| Abstract: |
| |
| Citation: |
| DOI:10.3770/j.issn:1000-341X.2006.04.028 |
| View Full Text View/Add Comment |
|
|
|
