| MP^M中介代数的性质 |
| |
| 引用本文： | 徐雯霞,刘练珍. MP^M中介代数的性质[J]. 江南学院学报, 2009, 0(4): 484-487 |
| |
| 作者姓名： | 徐雯霞 刘练珍 |
| |
| 作者单位： | 江南大学理学院,江苏无锡214122 |
| |
| 摘 要： | 讨论了MP^M中介代数的一些性质,从而推导出一个引理,并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明,并给出具体实例加以说明。
|
| 关 键 词： | MPM中介代数 性质 Kleene代数 |
Properties of MP^M Medium Algebras |
| |
| XU Wen-xia,LIU Lian-zhen. Properties of MP^M Medium Algebras[J]. Journal of Jiangnan College, 2009, 0(4): 484-487 |
| |
| Authors: | XU Wen-xia LIU Lian-zhen |
| |
| Affiliation: | (School of Science, Jiangnan University, Wuxi 214122, China) |
| |
| Abstract: | The paper investigates the various properties of MPM medium algebras and educe a lemma. Furthermore, the paper also consummates the proving of two theorems in referrenee paper The Algebra System of MP^M and makes two examples to illuminate. |
| |
| Keywords: | MP^M medium algebras properties Kleene algebra |
| 本文献已被 维普 等数据库收录！ |
|
