吴洪博.基础R0-代数的性质及在L*系统中的应用[J].数学研究及应用,2003,23(3):557~563 |
基础R0-代数的性质及在L*系统中的应用 |
The Properties of BR0-algebra and Its Applications in L* System |
投稿时间:2001-02-01 |
DOI:10.3770/j.issn:1000-341X.2003.03.030 |
中文关键词: 模糊逻辑 基础R0-代数 R0-代数 L*系统 模糊演绎定理 |
英文关键词:fuzzy logic basic R0-algebra L* system fuzzy deductive theorem. |
基金项目: |
|
摘要点击次数: 2226 |
全文下载次数: 993 |
中文摘要: |
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础R0-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理。 |
英文摘要: |
The formal deductive system L* for fuzzy prepositional calculus and R0-algebra relevant to former in semantics have been studied, a concept of basic R0-algebra with its properties is proposed in this paper. We change the deduction and proof in L* system into the relevant algebra's operation in R0-algebra. As its application, we prove the fuzzy deductive theorem in L* system. |
查看全文 查看/发表评论 下载PDF阅读器 |