journal6 ›› 2009, Vol. 30 ›› Issue (6): 1-5.

• 数学 •    下一篇

BL*Δ系统的完备性

  

  1. (陕西师范大学数学与信息科学学院,陕西  西安 710062)
  • 出版日期:2009-11-25 发布日期:2012-04-20
  • 作者简介:吴洪博(1959-),男,陕西咸阳人,陕西师范大学数学与信息科学学院教授,博士,主要从事格上拓扑与非经典数理逻辑研究.
  • 基金资助:

    国家自然科学基金资助项目(10871121)

Completeness of BL*Δ System

  1. (College of Mathematics and Information Sciences,Shaanxi Normal University,Xi’an 710062,China)
  • Online:2009-11-25 Published:2012-04-20

摘要:研究了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

公众号 电子书橱 超星期刊 手机浏览 在线QQ