文献类型：期刊文章

作　　者：吴洪博[1] 文秋梅[2]

机构地区：[1]陕西师范大学数学研究所,陕西西安710062 [2]唐山师范学院数学系,河北唐山063000

出　　处：《陕西师范大学学报（自然科学版）》

年　　份：2001

卷　　号：29

期　　号：1

起止页码：17-22

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CAS、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、ZR、核心刊

摘　　要：研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .

关 键 词：模糊逻辑 模糊命题演算 算子 模糊演绎定量  形式演绎系统 模糊推理 Kleene逻辑系统  推理规则  

分 类 号：O159[数学类]