| L~*系统的一种弱完全对偶形式系统WCL |
| |
| 引用本文： | 吴洪博,王国俊. L~*系统的一种弱完全对偶形式系统WCL[J]. 西安石油大学学报(自然科学版), 2000, 15(6): 48-52 |
| |
| 作者姓名： | 吴洪博 王国俊 |
| |
| 作者单位： | 1. 四川大学,数学系,四川,成都,610064;唐山师范学院,河北,唐山,063000
2. 陕西师范大学,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金重点资助项目! (198310 40 ) |
| |
| 摘 要： | 研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径
|
| 关 键 词： | 模糊逻辑 命题演算 形式演绎系统L* 弱完全对偶形式演绎系统WCL-* 并推理规则 |
| 修稿时间： | 2000-06-23 |
A Kind of Weak Completely Dual Formal System WCL-* for L* System |
| |
| WU Hong-bo,WANG Guo-jun. A Kind of Weak Completely Dual Formal System WCL-* for L* System[J]. Journal of Xian Shiyou University, 2000, 15(6): 48-52 |
| |
| Authors: | WU Hong-bo WANG Guo-jun |
| |
| Abstract: | A formal deductive system L * for fuzzy propositional calculus, and the revised Kleene logic system W-,W, W k were studied. Both of them were first proposed by professor WANG Guo jun. A kind of weak completely dual formal deductive system WC L- * was given. And the equivalence between them was proved. This work offers a useful tool for further studying and developing L * system. |
| |
| Keywords: | fuzzy logic propositional calculus formal deductive system L * weak completely dual formal system WC L- * union inference rule |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
