| 基础模糊命题演算系统BL~*的改进系统 |
| |
| 引用本文： | 吴洪博,龚家安.基础模糊命题演算系统BL~*的改进系统[J].模糊系统与数学,2010,24(3). |
| |
| 作者姓名： | 吴洪博 龚家安 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，陕西师范大学重点科研基金资助项目 |
| |
| 摘 要： | 基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。
|
| 关 键 词： | 模糊逻辑 命题演算 系统BL* 简化 改进 |
The Improved Form of the Basic System BL* |
| |
| WU Hong-bo,GONG Jia-an.The Improved Form of the Basic System BL*[J].Fuzzy Systems and Mathematics,2010,24(3). |
| |
| Authors: | WU Hong-bo GONG Jia-an |
| |
| Institution: | WU Hong-bo,GONG Jia-an (College of Mathematics and information Science,ShaanxiNormal University,Xi'an 710062,China) |
| |
| Abstract: | The basic fuzzy propositional calculus system BL* is independent to the basic fuzzy propositional calculus system BL. The fuzzy propositional calculus system L* is the extension of the system BL*,but not the system BL. In this paper,through the study of the system BL*,we have revised the system BL*,and furtherly improved its axiom's system. |
| |
| Keywords: | Fuzzy Logic Propositional Calculus The System BL* Simplification Improving |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
