基础R0-代数与基础L*系统

• 作者: 吴洪博
• 来源期刊: 数学进展
• 学科: 数学
• 关键词: 模糊逻辑 基础R0-代数 基础L*系统 MV-代数 BL-代数 命题演算系统
• 年，卷（期）: 2003,（5）
• 页码范围: 565-576
• 页数: 12页
• 分类号: O141.1
• 字数: 11298字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0917.2003.05.007

摘要

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相互关系及相对独立性,讨论了基础L*系统关于基础R0-代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L*系统的扩张,最后作为基础R0-代数与基础L*系统的一个应用,证明了L*系统关于语义ΩW的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试.