| 区间值模糊命题逻辑系统的广义恒真式 |
| |
| 引用本文： | 陆秋君,吴望名.区间值模糊命题逻辑系统的广义恒真式[J].模糊系统与数学,2001,15(2):21-24. |
| |
| 作者姓名： | 陆秋君 吴望名 |
| |
| 作者单位： | 1. 上海理工大学基础部数学教研室,
2. 上海师范大学数学科学学院, |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 建立区间值模糊命题逻辑系统F(∨，∧，σ┴，c)，其中，α^-θ┴b=(α^-)^c┴b^-,┴是I0,1]中的t-余范；讨论系统F(∨，∧，σ┴，c)与对应的模糊命题逻辑系统F(∨，∧，σ┴，c)在广义恒真式方面的相互关系，得到定理：T^-0,α]（F^-∨，∧，σ┴，c)=Tα(F(∨，∧，σ┴，c))。
|
| 关 键 词： | 区间值模糊命题逻辑系统 上半同态 广义恒真式 模糊逻辑 下半同态 模糊命题 逻辑系统 |
| 文章编号： | 1001-7402(2001)02-0021-04 |
| 修稿时间： | 2000年1月10日 |
Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System |
| |
| LU Qiu-jun,WU Wang-ming.Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System[J].Fuzzy Systems and Mathematics,2001,15(2):21-24. |
| |
| Authors: | LU Qiu-jun WU Wang-ming |
| |
| Institution: | LU Qiu jun 1,WU Wang ming 2 |
| |
| Abstract: | 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. |
| |
| Keywords: | Interval Valued Fuzzy Logic Systems Upper Semi Homomorphism Generlized Tautology |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
