计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (34): 29-31.DOI: 10.3778/j.issn.1002-8331.2009.34.009

• 研究、探讨 • 上一篇    下一篇

泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子

刘春辉   

  1. 赤峰学院 初等教育学院,内蒙古 赤峰 024001
  • 收稿日期:2009-07-09 修回日期:2009-10-10 出版日期:2009-12-01 发布日期:2009-12-01
  • 通讯作者: 刘春辉

(∈,∈∨q)-fuzzy filters of UB algebras in universal logic

LIU Chun-hui   

  1. Department of Elementary Education,Chifeng University,Chifeng,Inner Mongolia 024001,China
  • Received:2009-07-09 Revised:2009-10-10 Online:2009-12-01 Published:2009-12-01
  • Contact: LIU Chun-hui

摘要: 何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β,并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数,并讨论了它们的性质。在以上这些结果的基础上,引入UB代数的(∈,∈∨q)-fuzzy滤子和(∈,∈∨q)-fuzzy关联滤子的概念,获得了它们的若干等价刻画,证明了(∈,∈∨q)-fuzzy关联滤子的扩张定理。

关键词: 泛逻辑学, UB代数系统, (∈, ∈∨q)-fuzzy滤子, (∈, ∈∨q)-fuzzy关联滤子

Abstract: The formal deductive system β of universal logic in the ideal condition has been given and the reliability of this system has been proved by professor He.And UB algebras for universal logic in ideal condition are introduced and some properties of them are discussed by him.Based on the above mentioned results,the concepts of(∈,∈∨q)-fuzzy filters and (∈,∈∨q)-fuzzy implicative filters in UB algebras is introduced,some equivalent characterizations of them are obtained.The extension theorem of (∈,∈∨q)-fuzzy implicative filters is proved.

Key words: universal logic, UB algebras systems, (∈, ∈∨q)-fuzzy filters, (∈, ∈∨q)-fuzzy implicative filters

中图分类号: