初等模糊一阶逻辑的准形式演绎系统 |
| |
引用本文: | 杨晓斌.初等模糊一阶逻辑的准形式演绎系统[J].淄博学院学报(自然科学与工程版),2001,3(1):12-15. |
| |
作者姓名: | 杨晓斌 |
| |
作者单位: | 上海财经大学,上海200433 |
| |
摘 要: | 本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统。并且证明了相应的可靠性定理。
|
关 键 词: | 模糊-阶逻辑 演绎系统 可靠性定理 模糊谓词逻辑 模糊推理 模糊逻辑 |
本文献已被 CNKI 维普 等数据库收录! |
|