| 连续值逻辑系统中的代换定理 |
| |
| 引用本文： | 杨晓斌,薛贤铭.连续值逻辑系统中的代换定理[J].山东理工大学学报,2003,17(1):76-80. |
| |
| 作者姓名： | 杨晓斌 薛贤铭 |
| |
| 作者单位： | [1]上海财经大学应用数学系，上海200433 [2]山东省水利技术学院，山东淄博255033 |
| |
| 摘 要： | 在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．
|
| 关 键 词： | 连续值逻辑系统 代换定理 模糊命题逻辑 准形式演绎系统 完备性 模糊推理 |
| 文章编号： | 1007-1857(2003)01-0076-05 |
| 修稿时间： | 2002年11月10 |
Substitute Theorem on Continue-Valued Logical System |
| |
| YANG Xiao bin ,XUE Xian ming.Substitute Theorem on Continue-Valued Logical System[J].Journal of Shandong University of Technology:Science and Technology,2003,17(1):76-80. |
| |
| Authors: | YANG Xiao bin XUE Xian ming |
| |
| Affiliation: | YANG Xiao bin 1,XUE Xian ming 2 |
| |
| Abstract: | Abnegating the first axiom L1) on the classical formal logic system,we established the quasi formal deductive system L * G R . Based on L * G R the substitute theorem were researched. |
| |
| Keywords: | fuzzy system proposition logic substitute theorem |
| 本文献已被 CNKI 维普 等数据库收录！ |
