|
|||||
|
|
| 中介逻辑演算系统MPN及MFN | |
| 引用本文： | 毛宇光,朱剑英,顾红芳,朱梧槚. 中介逻辑演算系统MPN及MFN[J]. 模糊系统与数学, 1999, 13(2): 45-51 |
| 作者姓名： | 毛宇光 朱剑英 顾红芳 朱梧槚 |
| 作者单位： | 1. 南京航空航天大学计算机科学与工程系,南京,210016 2. 南京通信工程学院数学教研室,南京,210016 3. 南京大学计算机软件新技术国家重点实验室,南京,210093 |
| 摘 要： | 为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ，并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备 |
| 关 键 词： | 中介逻辑 中介逻辑命题演算 中介逻辑谓词演算 表达能力 不完全信息 |
Medium Logic Calculus System MP N and MF N |
|
| Mao Yuguang,Gu Hongfang,Zhu Wujia,Zhu Jianying. Medium Logic Calculus System MP N and MF N[J]. Fuzzy Systems and Mathematics, 1999, 13(2): 45-51 | |
| Authors: | Mao Yuguang Gu Hongfang Zhu Wujia Zhu Jianying |
| Abstract: | |
| Keywords: | Medium Logic Medium Logic Propositional Calculus Medium Logic Predicate Calculus System Expressive Power Incomplete Information |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |