L~*系统的一种改进系统L_0~*A kind of improved formal deductive system
吴洪博
摘要(Abstract)：
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径
关键词(KeyWords)： 模糊逻辑;命题演算;形式演绎系统L*;改进形式演绎系统L*0
基金项目(Foundation):
作者(Author): 吴洪博
参考文献(References)：
- [1] 徐杨 .格蕴涵代数 [J].西南交通大学学报 ,1993,2 8( 1) :2 0 - 2 7
- [2 ] 秦克云 ,徐杨 .一个格值命题逻辑系统 [J].模糊系统与数学 ,1994 ,8(增刊 ) :32 2 - 32 6
- [3] 吴望名 .Fuzzy蕴涵代数 [J].模糊系统与数学 ,1990 ,4 ( 1) :56- 64
- [4 ] 王国俊 .模糊命题演算的一种形式演绎系统 [J].科学通报 ,1997,4 2 ( 10 ) :10 4 1- 10 4 5
- [5] 王国俊 .修正的 kleene系统中 - (α-重言式 )理论 [J].中国科学 ( E辑 ) ,1998,2 8( 2 ) :146- 152
- [6] Guo- jun Wang.On the logic foundation of fuzzy reassoning[J].Information Science,1999,177:4 7- 88
- [7] Gou- jun Wang,Wei Wang. Partial valuations and fuzzy reasoning [A ]. In:Guoqing Cheng etc. edFuzzy Logic and Soft Computing[M].Boston:Kluwer Academic Publisher,1999,2 13- 2 2 0
- [8] 何颖俞 ,王国俊 .L* - Lindenbaum的代数结构与 L*公理系统的简化形式 [J].科学通报 ,1998,4 3( 6) :651- 652
- [9] 杨晓斌 ,张文修 .Lukasiewicz系统中的广义重言式理论 [J].陕西师范大学学报 (自然科学版 ) ,1998,2 6( 4 ) :6- 9
- [10 ] 吴洪博 ,文秋梅 .逻辑系统 W,W,Wk 中 F( S)的分划及升级算法的性质 [J].陕西师范大学学报 (自然科学版 ) ,2 0 0 0 ,2 8( 2 ) :12 - 17
- [11] 吴洪博 ,王国俊 .Lukasiewicz逻辑系统中的广义重言式理论 [J].西南交通大学学报 (自然科学版 ) ,2 0 0 0 ,35( 5) :559- 563
- [12 ] 王国俊 .非经典数理逻辑与近似推理 [M].北京 :科学出版社 ,2 0 0 0