首页|R0代数公理系统的简化与独立性

R0代数公理系统的简化与独立性

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公理系统的简化问题,得到R0代数的两个特征定理,并证明了这两个特征定理中条件的独立性,由此得到R0代数两个独立的公理系统.研究结果表明,R0代数类和弱R0代数类都构成代数簇,即等式代数类.因而这两个代数类关于子代数、同态像以及直积是封闭的.
Simplified axiom systems of R0 algebras and independence

裴道武

展开 >

陕西师范大学数学研究所,陕西,西安,710062

模糊逻辑 R0代数 弱R0代数 蕴涵格 簇 独立性

2002

陕西师范大学学报(自然科学版)
陕西师范大学

陕西师范大学学报(自然科学版)

CSTPCDCSCD北大核心
影响因子：0.563
ISSN：1672-4291
年,卷(期)：2002.30(3)
  • 20
  • 3