journal6 ›› 2009, Vol. 30 ›› Issue (6): 1-5.
• 数学 • 下一篇
出版日期:
发布日期:
作者简介:
基金资助:
国家自然科学基金资助项目(10871121)
Online:
Published:
摘要:研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了Δ BR0-代数的概念,其次研究了Δ BR0-代数中的Δ-滤子及其性质,最后证明了BL*Δ系统的完备性,给出了BL*Δ系统的广义演绎定理.
关键词: 模糊逻辑, BL*系统, &Delta, -滤子, 完备性, 广义演绎定理
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.
Key words: fuzzy logic, BL* system, &Delta, -filter, completeness, generalized deductive theorem
吴洪博. BL*Δ系统的完备性[J]. journal6, 2009, 30(6): 1-5.
WU Hong-Bo. Completeness of BL*Δ System[J]. journal6, 2009, 30(6): 1-5.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: https://zkxb.jsu.edu.cn/CN/
https://zkxb.jsu.edu.cn/CN/Y2009/V30/I6/1