| MP^M中介代数的性质 |
| |
| 引用本文： | 徐雯霞,刘练珍.MP^M中介代数的性质[J].江南学院学报,2009(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(4):484-487. |
| |
| Authors: | XU Wen-xia LIU Lian-zhen |
| |
| Institution: | (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 |
| 本文献已被 维普 等数据库收录！ |
