| BL_Δ~*系统的完备性 |
| |
| 引用本文： | 吴洪博.BL_Δ~*系统的完备性[J].吉首大学学报(自然科学版),2009(6). |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院; |
| |
| 基金项目： | 国家自然科学基金资助项目(10871121) |
| |
| 摘 要： | 研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.
|
| 关 键 词： | 模糊逻辑 BL*系统 Δ-滤子 完备性 广义演绎定理 |
Completeness of BL_Δ~* System |
| |
| WU Hong-bo.Completeness of BL_Δ~* System[J].Journal of Jishou University(Natural Science Edition),2009(6). |
| |
| Authors: | WU Hong-bo |
| |
| Institution: | WU Hong-bo(College of Mathematics and Information Sciences,Shaanxi Normal University,Xi'an 710062,China) |
| |
| Abstract: | The basis BL* system and BR0-algebra are studied.A schematic extension BL*Δ of BL* system is introduced by adding the unary connective Δ to BL*,and then the concept of ΔBR0-algebra is proposed.Morever,the Δ-filter of ΔBR0-algebra and corresponding properties are studied.Finally,the completeness of BL*Δ is proved by using the properties,and the generalized deductive theorem in BL*Δ is given. |
| |
| Keywords: | fuzzy logic BL* system Δ-filter completeness generalized deductive theorem |
| 本文献已被 CNKI 等数据库收录！ |
