BL*Δ系统的完备性

• 作者: 吴洪博
• 来源期刊: 吉首大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 BL*系统 △-滤子 完备性 广义演绎定理
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141.1
• 字数: 5494字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2985.2009.06.001

摘要

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词△,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了△BR0-代数的概念,其次研究了△BR0-代数中的△-滤子及其性质,最后证明了BL*Δ系统的完备性,给出了BL*Δ系统的广义演绎定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0