L0* -Lindenbaum代数的结构与性质

• 作者: 吴洪博
• 来源期刊: 四川大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊逻辑 形式演绎系统L* 简化形式演绎系统L0* L0*-Lindenbaum代数 Abel半群 有界分配格
• 年，卷（期）: 2001,（3）
• 页码范围: 323-327
• 页数: 5页
• 分类号: O141.1
• 字数: 2536字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2001.03.007

摘要

讨论了L*系统的等价简化形式系统L0*系统中Lindenbaum代数的结构与性质.证明了:(1)L0*-Lin-denbaum代数是一个有界分配格;(2)在L0*系统中,(F(S)/≈, )是一个含零元和单位元的Abel半群,这里对A,B∈F(S),[A] [B]= ([A]→ [B]).进一步,若设T是L0*中的定理,A∈F(S),则[A] [T]=[A],[A] [ T]=[ T].

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	四川大学数学学院	4	45	4.0	4.0