区间值模糊命题逻辑系统的广义恒真式  

Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System

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

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

出　　处：《模糊系统与数学》2001年第2期21-24,共4页Fuzzy Systems and Mathematics

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

摘　　要：建立区间值模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c) ,其中 ,aθ⊥ b=(a) c⊥ b,⊥是 I[0 ,1]中的 t-余范 ;讨论系统 F(∨ ,∧ ,θ⊥ ,c)与对应的模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c)在广义恒真式方面的相互关系 ,得到定理 :T[0 ,α] (F(∨ ,∧ ,θ⊥ ,c) ) =Tα(F(∨ ,∧ ,θ⊥ ,c) )。In this paper,the interval valued fuzzy propositional logic system (∨,∧,θ ⊥,c) ,in which θ ⊥=() c⊥, ⊥ is a t conorm in I[0,1],is established. The relation between (∨,∧,θ ⊥,c) and related fuzzy propositional logic system F(∨,∧,θ ⊥,c) is discussed on generalized tautologies and the theorem [0,α] ((∨,∧,θ ⊥,c))= T α(F(∨, ∧,θ ⊥,c)) is obtained.

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

分 类 号：B815.6[哲学宗教—逻辑学] O159[理学—数学]