| L~*系统的一种改进系统L_0~* |
| |
| 引用本文： | 吴洪博.L~*系统的一种改进系统L_0~*[J].纯粹数学与应用数学,2001(1). |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 唐山师范学院数学系!唐山063000，四川大学数学系，成都610064 |
| |
| 摘 要： | 研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径
|
| 关 键 词： | 模糊逻辑 命题演算 形式演绎系统L* 改进形式演绎系统L*0 |
A kind of improved formal deductive system |
| |
| L_ for the system L,WU Hong bo.A kind of improved formal deductive system[J].Pure and Applied Mathematics,2001(1). |
| |
| Authors: | L_ for the system L WU Hong bo |
| |
| Institution: | L_0~* for the system L~* WU Hong bo |
| |
| Abstract: | The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang. The main results of this paper are: (1) A kind of improved formal deductive system L * 0 for the system L * has been established; (2) The equivalence between the system L * and L * 0 has been proved. This work offers a useful tool for further studying and developing the system L *. |
| |
| Keywords: | Fuzzy logic propositional calculus formal deductive system L * improved formal deductive system L * 0 |
| 本文献已被 CNKI 等数据库收录！ |
