-
题名区间值模糊命题逻辑系统的广义恒真式
被引量:5
- 1
-
-
作者
陆秋君
吴望名
-
机构
上海理工大学基础部数学教研室
上海师范大学数学科学学院
-
出处
《模糊系统与数学》
CSCD
2001年第2期21-24,共4页
-
基金
国家自然科学基金资助项目
-
文摘
建立区间值模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c) ,其中 ,aθ⊥ b=(a) c⊥ b,⊥是 I[0 ,1]中的 t-余范 ;讨论系统 F(∨ ,∧ ,θ⊥ ,c)与对应的模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c)在广义恒真式方面的相互关系 ,得到定理 :T[0 ,α] (F(∨ ,∧ ,θ⊥ ,c) ) =Tα(F(∨ ,∧ ,θ⊥ ,c) )。
-
关键词
区间值模糊命题逻辑系统
上半同态
广义恒真式
模糊逻辑
下半同态
模糊命题
逻辑系统
-
Keywords
Interval Valued Fuzzy Logic Systems
Upper Semi Homomorphism
Generlized Tautology
-
分类号
B815.6
[哲学宗教—逻辑学]
O159
[理学—基础数学]
-