期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
R_0代数公理系统的简化与独立性 被引量:22
1
作者 裴道武 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第3期5-9,共5页
研究了一类重要的模糊逻辑代数系统———R0 代数 ,给出了R0 代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系 ,讨论了R0 代数公理系统的简化问题 ,得到R0 代数的两个特征定理 ,并证明了这两个特征定理中条件的独立性 ,由此... 研究了一类重要的模糊逻辑代数系统———R0 代数 ,给出了R0 代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系 ,讨论了R0 代数公理系统的简化问题 ,得到R0 代数的两个特征定理 ,并证明了这两个特征定理中条件的独立性 ,由此得到R0 代数两个独立的公理系统 .研究结果表明 ,R0 代数类和弱R0 代数类都构成代数簇 ,即等式代数类 .因而这两个代数类关于子代数。 展开更多
关键词 r0代数 公理系统 模糊逻辑代数系统 r0代数 蕴函格 独立性 模糊推理
下载PDF
一种新的模糊逻辑代数系统 被引量:23
2
作者 裴道武 王国俊 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期564-568,共5页
基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统... 基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统之间的关系。 展开更多
关键词 模糊逻辑 代数系统 数理逻辑
下载PDF
关于R_0代数公理系统的简化与独立性的修正 被引量:11
3
作者 韩诚 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第6期669-672,共4页
目的简化R_0代数的定义。方法修正并利用《R_0代数公理系统的简化与独立性》一文的主要结果来考察R_0代数的原始定义及其性质。结果给出了R_0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的(弱)R_0代数的简化定义... 目的简化R_0代数的定义。方法修正并利用《R_0代数公理系统的简化与独立性》一文的主要结果来考察R_0代数的原始定义及其性质。结果给出了R_0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的(弱)R_0代数的简化定义已是最简。 展开更多
关键词 r0代数 r0代数 特征定理 独立性
下载PDF
Heyting代数与剩余格 被引量:6
4
作者 苏忍锁 张馨文 《陕西理工学院学报(自然科学版)》 2009年第4期63-69,共7页
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。
关键词 HEYTING代数 剩余格 正则剩余格 BOOLE代数 MV-代数
下载PDF
弱MV-代数与IMTL代数的关系及IMTL公理系统的简化
5
作者 马晓珏 《宝鸡文理学院学报(自然科学版)》 CAS 2004年第1期12-14,共3页
证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。
关键词 弱MV-代数 IMTL代数 r0-代数 格蕴涵代数 IMTL公理系统 L^*0公理系统
下载PDF
R_0代数的对偶代数 被引量:10
6
作者 朱怡权 《工程数学学报》 CSCD 北大核心 2002年第4期139-142,共4页
对于R0代数,给出了它的一个等价形式,并建立了它的对偶代数,从此刻划了R0代数内部结构的特征,也为从语义的角度进一步研究模糊逻辑系统提供了一个新的途径。
关键词 FI代数 DeMorgan代数 r0代数 对偶代数
下载PDF
关于格上蕴涵代数及其对偶代数 被引量:4
7
作者 朱怡权 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2004年第3期549-555,共7页
给出了格蕴涵代数、MV代数、R0代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.
关键词 FI代数 格蕴涵代数 MV代数 (弱)r0代数 对偶代数
下载PDF
关于正则剩余格与R_0^-代数的几点注记 被引量:2
8
作者 朱怡权 《黄冈师范学院学报》 2003年第6期4-7,共4页
正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.
关键词 正则FI-代数 强正则剩余格 ro-代数 模糊逻辑 “语义代数”
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部