文献类型：期刊文章

作　　者：陆秋君[1] 吴望名[2]

机构地区：[1]上海理工大学基础部数学教研室,上海200093 [2]上海师范大学数学科学学院,上海200234

出　　处：《模糊系统与数学》

基　　金：国家自然科学基金资助项目

年　　份：2001

卷　　号：15

期　　号：2

起止页码：21-24

语　　种：中文

收录情况：CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、普通刊

摘　　要：建立区间值模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c) ,其中 ,aθ⊥ b=(a) c⊥ b,⊥是 I[0 ,1]中的 t-余范 ;讨论系统 F(∨ ,∧ ,θ⊥ ,c)与对应的模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c)在广义恒真式方面的相互关系 ,得到定理 :T[0 ,α] (F(∨ ,∧ ,θ⊥ ,c) ) =Tα(F(∨ ,∧ ,θ⊥ ,c) )。

关 键 词：区间值模糊命题逻辑系统  上半同态  广义恒真式  模糊逻辑 下半同态  模糊命题  逻辑系统

分 类 号：B815.6] O159[数学类]