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

摘要：

讨论了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].

关键词：模糊逻辑、形式演绎系统L*、简化形式演绎系统L0*、L0*-Lindenbaum代数、Abel半群、有界分配格

所属期刊栏目：38

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：323-327