| 形式演绎系统L~*的运算与弱演绎定理 |
| |
| 引用本文： | 张家录.形式演绎系统L~*的运算与弱演绎定理[J].湘南学院学报,2004(2). |
| |
| 作者姓名： | 张家录 |
| |
| 作者单位： | 湘南学院数学系 湖南郴州 423000 |
| |
| 摘 要： | 在著名的形式演绎系统L 中引入一种新的运算 ,讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.
|
| 关 键 词： | 模糊逻辑 形式演绎系统L 定理 演绎定理 |
The Operation and Weak Deductive Theorem in FormalDeductive System L~* |
| |
| ZHANG Jia-lu.The Operation and Weak Deductive Theorem in FormalDeductive System L~*[J].Journal of Xiangnan University,2004(2). |
| |
| Authors: | ZHANG Jia-lu |
| |
| Abstract: | In this paper,a new operation is introduced into the system L~*,its properties are discussed. Thus the weak deductive theorem of system of L~* is obtained. |
| |
| Keywords: | fuzzy logic formal deductive system L~* theorem weak deductive theorem |
| 本文献已被 CNKI 等数据库收录！ |
