搜索到96篇“ MV代数“的相关文章
- （扩张）拟MV代数结构的研究
- 拟MV代数是基于量子计算逻辑提出的,已经得到广泛研究.本文主要研究扩张拟MV代数,它是拟MV代数和EMV代数的推广.在扩张拟MV代数中,0不一定有补元,且在部分区间上构成拟MV代数.本文首先定义了扩张拟MV代数,给出该代...
- 柳萌萌
- 关键词：拓扑性质
- 基于MV代数语义的格值逻辑的程度化方法被引量：4
- 2013年
- 基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.
- 左卫兵
- 关键词：MV代数格值逻辑概率真度
- MV代数的子代数及相关重言式之间的关系
- 2013年
- 对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[0,1]的子代数,那么或M为有限MV代数Ln,或M为区间[0,1]上包含{0,1}的稠密集;若正整数n-1可分解为(m1-1)(m2-1)…(mt-1),其中m1-1,m2-1,…,mt-1是两两互素的正整数,则Ln是Lm1,Lm2,…,Lmt生成的MV代数;T([0,1])=∞∩n=2T(Ln),其中T(M)表示MV代数M上全体重言式之集合。
- 周建仁吴洪博
- 关键词：模糊逻辑子代数重言式
- R0代数,MV代数的等价刻画被引量：2
- 2009年
- 通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.
- 段景瑶
- 关键词：R0代数MV代数
- MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用被引量：10
- 2009年
- 设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本文结果是已有的命题逻辑中逻辑公式的真度理论的一般化和代数化,思想也可应用到其他多值逻辑代数中.
- 王国俊周红军
- 关键词：MV代数真度
- 粗糙集代数与MV代数被引量：8
- 2008年
- 讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数。
- 乔全喜秦克云
- 关键词：粗糙集剩余格MV代数
- MV代数的序拓扑和区间拓扑
- 2008年
- 研究了MV代数的区间拓扑和序拓扑及MV代数下的拓扑紧性、连结性、完备性和全序性.通过序收敛的性质和基与子基的概念分别探讨了MV代数及其运算在序拓扑和区间拓扑下的性质,并且把标准MV代数的基本性质推广到了一般意义下的MV代数.研究表明,MV代数中的运算在这两种拓扑下连续,当且仅当进行运算的元之间满足一定条件.
- 陈舒为辛玉梅麻志浩
- 关键词：区间拓扑MV代数
- MV代数与R_0代数的统一基础
- 2008年
- 探讨以Boole代数、MV代数、R0代数为特例的MP代数的代数性质;得到了概括上述3个代数系统表示定理的MP代数表示定理;在一恰当的结构上统一了MV代数与R0代数.
- 闫建平
- 关键词：MV代数R0代数
- MV代数中的*滤子
- 2007年
- 根据MV代数中伴随对(*,→)的定义,由二元运算*引入了*滤子的概念,证明了*滤子即是通常意义下的滤子,同时也研究了其*滤子的简单性质.
- 李海霞吴洪博
- 关键词：MV代数素滤子
- MV代数定义的蕴涵简化形式被引量：1
- 2006年
- 通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。
- 刘敏吴洪博
- 关键词：模糊逻辑MV代数
相关作者
- 王国俊
- 作品数：240被引量：1,684H指数：29
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：真度 模糊推理 代数 相似度 模糊逻辑
- 吴洪博
- 作品数：230被引量：479H指数：17
- 供职机构：陕西师范大学
- 研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
- 朱怡权
- 作品数：60被引量：205H指数：9
- 供职机构：广州航海学院
- 研究主题：代数 格蕴涵代数 FUZZY格 同余关系 注记
- 李海霞
- 作品数：12被引量：15H指数：3
- 供职机构：陕西师范大学
- 研究主题：模糊逻辑 代数 滤子 FUZZY子代数 R0代数
- 秦克云
- 作品数：197被引量：643H指数：14
- 供职机构：西南交通大学数学学院
- 研究主题：粗糙集 格蕴涵代数 属性约简 近似算子 决策表
