期刊文献+
共找到75篇文章
< 1 2 4 >
每页显示 20 50 100
Some results on derivations of MV-algebras 被引量:1
1
作者 WANG Jun-tao HE Peng-fei SHE Yan-hong 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2023年第1期126-143,共18页
In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations an... In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316]. 展开更多
关键词 mv-algebra DERIVATION fixed point set IDEAL Boolean algebra
下载PDF
区间集上的格蕴涵代数、FI-代数、MV-代数的研究 被引量:8
2
作者 薛占熬 杜浩翠 +1 位作者 尹昊喆 肖运花 《计算机科学》 CSCD 北大核心 2010年第12期218-223,共6页
区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、... 区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。 展开更多
关键词 区间集 格蕴涵代数 可换FI-代数 MV-代数
下载PDF
关于MV-代数 被引量:6
3
作者 朱怡权 朱德高 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第2期129-131,共3页
讨论了 MV-代数 ( X;+,× ,* ,0 ,1 )上自然偏序关系的一些基本性质 ;给出了 MV-代数的一个等价公理系 ,它同 D.Mundici曾提出的一个简化公理系相比更为简单 .
关键词 MV-代数 偏序关系 FUZZY格 FUZZY蕴涵代数
下载PDF
Fuzzy蕴涵代数与MV代数 被引量:83
4
作者 刘练珍 王国俊 《模糊系统与数学》 CSCD 1998年第1期20-25,共6页
*本文讨论Fuzzy蕴涵代数与MV代数之间的关系,并证明了在一定的条件下Fuzzy蕴涵代数是剩余格。
关键词 模糊蕴函代数 MV代数 剩余格 格蕴涵代数
下载PDF
一种泛逻辑代数系统 被引量:7
5
作者 罗敏霞 何华灿 《计算机工程与应用》 CSCD 北大核心 2005年第14期21-22,60,共3页
文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一... 文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一步证明了U B代数与M V代数、正规FI代数是等价的。 展开更多
关键词 UB代数 剩余半群 FI代数 MV代数
下载PDF
软集合和软MV-代数 被引量:3
6
作者 杜卫锋 滕姿 刘秀娟 《计算机工程与应用》 CSCD 2012年第11期119-122,共4页
通过将Molodtsov在1999年提出的软集合理论应用于MV-代数理论,提出了软MV-代数和软MV-子代数的概念,并且得到了相关的一些性质。
关键词 MV-代数 软集合 软MV-代数
下载PDF
粗糙集代数与MV代数 被引量:8
7
作者 乔全喜 秦克云 《模糊系统与数学》 CSCD 北大核心 2008年第3期152-155,共4页
讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数。
关键词 粗糙集 粗糙集代数 剩余格 MV代数
下载PDF
基础R0-代数与基础L^*系统 被引量:129
8
作者 吴洪博 《数学进展》 CSCD 北大核心 2003年第5期565-576,共12页
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相... 研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相互关系及相对独立性,讨论了基础L*系统关于基础R0-代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L*系统的扩张,最后作为基础R0-代数与基础L*系统的一个应用,证明了L*系统关于语义ΩW的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试. 展开更多
关键词 基础R0-代数 基础L^*系统 模糊命题演算 形式演绎系统 BL-代数 MV-代数 完备性 逻辑代数
下载PDF
MV-代数、BL-代数、R_0-代数与多值逻辑 被引量:149
9
作者 王国俊 《模糊系统与数学》 CSCD 2002年第2期1-15,共15页
证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 。
关键词 MV-代数 剩余格 BL-代数 R0-代数 FI-代数 格蕴涵代数 BCK-代数
下载PDF
可交换弱R_0代数 被引量:8
10
作者 吴苏朋 王国俊 《云南师范大学学报(自然科学版)》 2007年第1期1-4,13,共5页
简化了弱R0代数及R0代数的定义。在弱R0代数的基础上,提出可交换弱R0代数,并讨论了它的一些新的性质。探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。
关键词 弱R0代数 R0代数 格蕴涵代数 MV代数
下载PDF
关于格蕴涵代数与BCK-代数 被引量:20
11
作者 朱怡权 《纯粹数学与应用数学》 CSCD 1999年第3期22-26,共5页
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C
关键词 格蕴涵代数 滤子 BCK-代数 理想 MV-代数
下载PDF
粗糙集代数中的剩余格结构 被引量:2
12
作者 陈子春 秦克云 《模糊系统与数学》 CSCD 北大核心 2008年第4期149-153,共5页
讨论粗糙集代数与剩余格的关系。借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数。
关键词 粗糙集 粗糙集代数 剩余格 MV代数 R0代数
下载PDF
■ukasiewicz命题逻辑系统中的赋值决定公式问题 被引量:2
13
作者 王国俊 李立峰 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第3期1-8,共8页
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给... 为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题. 展开更多
关键词 Fuzzy分离规则 Lukasiewicz命题逻辑系统 赋值决定公式问题 构造性解 MV代数
下载PDF
蕴涵代数与BCK代数 被引量:10
14
作者 朱怡权 《模糊系统与数学》 CSCD 2002年第3期31-37,共7页
系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合
关键词 (正则)FI代数 MV代数 格蕴涵代数 BCK代数
下载PDF
BR_(0^-)代数的表示定理及其简化形式 被引量:2
15
作者 龚加安 崔宏志 吴洪博 《河南科学》 2016年第2期163-170,共8页
通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0^-)代数的格蕴涵表示形式,使得BR_(0^-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0^-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0^-)代数... 通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0^-)代数的格蕴涵表示形式,使得BR_(0^-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0^-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0^-)代数和BR_(0^-)代数的关系给出了MV-代数的BR_(0^-)代数表示形式以及BR_(0^-)代数的简化形式. 展开更多
关键词 模糊逻辑 BR0-代数 格蕴涵 MV-代数 R0-代数
下载PDF
BL代数的fantastic滤子和normal滤子 被引量:1
16
作者 王伟 杨廉 +1 位作者 石召 李婷 《纯粹数学与应用数学》 CSCD 2012年第5期595-598,共4页
滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在... 滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件. 展开更多
关键词 BL代数 MV代数 fantastic滤子 normal滤子
下载PDF
关于MV-代数的模糊理想和超积 被引量:1
17
作者 孙胜利 梁俊奇 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第2期106-108,共3页
在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的... 在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质. 展开更多
关键词 MV-代数 理想 模糊理想 超积
下载PDF
基于MV代数语义的格值逻辑的程度化方法 被引量:4
18
作者 左卫兵 《电子学报》 EI CAS CSCD 北大核心 2013年第10期2035-2040,共6页
基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.... 基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法. 展开更多
关键词 MV代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理
下载PDF
MV代数定义的蕴涵简化形式 被引量:1
19
作者 刘敏 吴洪博 《模糊系统与数学》 CSCD 北大核心 2006年第6期44-50,共7页
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;... 通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。 展开更多
关键词 模糊逻辑 MV代数 弱格蕴涵代数 BRo代数 正则Fuzzy蕴涵代数
下载PDF
R_0-代数与MV-代数的关系 被引量:4
20
作者 苏忍锁 《西北农林科技大学学报(自然科学版)》 CSCD 北大核心 2004年第10期145-148,152,共5页
 证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。
关键词 R0-代数 MV-代数 预备知识 代数结构 非经典逻辑
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部