期刊文献+
共找到57篇文章
< 1 2 3 >
每页显示 20 50 100
基础R0-代数与基础L^*系统 被引量:129
1
作者 吴洪博 《数学进展》 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代数的度量化研究及其在Lukasiewicz命题逻辑中的应用 被引量:9
2
作者 王国俊 周红军 《数学学报(中文版)》 SCIE CSCD 北大核心 2009年第3期501-514,共14页
设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本... 设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本文结果是已有的命题逻辑中逻辑公式的真度理论的一般化和代数化,思想也可应用到其他多值逻辑代数中. 展开更多
关键词 mv代数 Lukasiewicz命题逻辑 真度
原文传递
一种泛逻辑代数系统 被引量:7
3
作者 罗敏霞 何华灿 《计算机工程与应用》 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
Heyting代数与剩余格 被引量:6
4
作者 苏忍锁 张馨文 《陕西理工学院学报(自然科学版)》 2009年第4期63-69,共7页
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。
关键词 HEYTING代数 剩余格 正则剩余格 BOOLE代数 mv-代数
下载PDF
弱FI代数、弱MV代数 被引量:3
5
作者 周亚兰 《陕西工学院学报》 2000年第1期75-77,81,共4页
本文引入弱FI代数、弱MV代数的概念 。
关键词 FI代数 弱FI代数 mv代数 BCI代数 格蕴涵代数
下载PDF
R_0-代数与MV-代数的关系 被引量:4
6
作者 苏忍锁 《西北农林科技大学学报(自然科学版)》 CSCD 北大核心 2004年第10期145-148,152,共5页
 证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。
关键词 R0-代数 mv-代数 预备知识 代数结构 非经典逻辑
下载PDF
Some results on derivations of MV-algebras 被引量:1
7
作者 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
MV-代数的(→,)-微分 被引量:4
8
作者 王军涛 辛小龙 贺鹏飞 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第4期16-21,27,共7页
在MV-代数上引入了(→,)-微分,研究了MV-代数(→,)-微分的性质。定义并研究了正则(→,)-微分,并讨论了MV-代数的布尔中心上的(→,)-微分的一些性质。给出了中心主微分的概念,用中心主微分讨论了(→,)-微分与MV-代数其他微分... 在MV-代数上引入了(→,)-微分,研究了MV-代数(→,)-微分的性质。定义并研究了正则(→,)-微分,并讨论了MV-代数的布尔中心上的(→,)-微分的一些性质。给出了中心主微分的概念,用中心主微分讨论了(→,)-微分与MV-代数其他微分之间的关系。并用中心主微分的不动点之集刻画了Boole代数。最后,定义并研究了微分MV-代数的微分理想,并讨论了正则微分MV-代数所有的微分理想组成的集合ID(A)的代数结构。 展开更多
关键词 mv-代数 (→ ⊙)-微分 微分理想 布尔代数 Heyting格
下载PDF
MV-代数上的f导子和g导子 被引量:4
9
作者 冯敏 辛小龙 李毅君 《山东大学学报(理学版)》 CAS CSCD 北大核心 2014年第6期50-56,共7页
利用MV-代数的自同态,将MV-代数上的(⊙,)导子和(Θ,⊙)导子进行了推广,引入了f导子和g导子,研究了它们的相关性质。得到了g导子d的不动点集Fd(M)g是M的理想;保序的f导子d的不动点集Fd(M)f是M的理想,并用g导子的相关性质刻画了布尔代... 利用MV-代数的自同态,将MV-代数上的(⊙,)导子和(Θ,⊙)导子进行了推广,引入了f导子和g导子,研究了它们的相关性质。得到了g导子d的不动点集Fd(M)g是M的理想;保序的f导子d的不动点集Fd(M)f是M的理想,并用g导子的相关性质刻画了布尔代数和线性布尔代数。最后讨论了f导子和g导子之间的关系。 展开更多
关键词 mv-代数 f导子 g导子 理想 布尔代数
原文传递
基于MV代数语义的格值逻辑的程度化方法 被引量:4
10
作者 左卫兵 《电子学报》 EI CAS CSCD 北大核心 2013年第10期2035-2040,共6页
基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.... 基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法. 展开更多
关键词 mv代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理
下载PDF
BR_(0^-)代数的表示定理及其简化形式 被引量:2
11
作者 龚加安 崔宏志 吴洪博 《河南科学》 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
Hilbert代数与BCK-代数
12
作者 蒲义书 陈露 《陕西工学院学报》 2000年第4期77-80,84,共5页
引入交换Hilbert代数与BCK_代数的概念 ,给出了它的一个等价公理系。同时 ,研究了Hilbert代数与BCK_代数 ,MV代数的关系。
关键词 HILBERT代数 交换Hilbert代数 mv代数 对合交换半群
下载PDF
MV代数定义的蕴涵简化形式 被引量:1
13
作者 刘敏 吴洪博 《模糊系统与数学》 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
MV-代数的素滤子MV-拓扑空间
14
作者 周丽 张家录 《模糊系统与数学》 CSCD 北大核心 2013年第3期41-50,共10页
在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质。细致地讨论MV-代数的素滤子集上的MV-拓扑空间(M,ΩM),证明素滤子MV-拓扑空间是紧Hausdorff MV-空间,并且它还是良紧空间。作为应用,... 在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质。细致地讨论MV-代数的素滤子集上的MV-拓扑空间(M,ΩM),证明素滤子MV-拓扑空间是紧Hausdorff MV-空间,并且它还是良紧空间。作为应用,证明一个σ-完备格M是MV-代数当且仅当M同构于某个Stone MV-空间的MV-开闭集格。 展开更多
关键词 mv-代数 mv-拓扑 素滤子mv-拓扑 紧空间 紧Hausdorff mv-空间
原文传递
MV-代数的Fuzzy拓扑表现定理 被引量:2
15
作者 张家录 《数学进展》 CSCD 北大核心 2006年第6期747-754,共8页
以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集.本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质.
关键词 mv-代数 Lukasiewicz赋值 正则性 LUKASIEWICZ FUZZY 拓扑空间 零维空间 覆盖式紧空间
下载PDF
MV-代数中的⊕理想与同余关系及其相关性质 被引量:2
16
作者 文贤红 吴洪博 《计算机工程与应用》 CSCD 北大核心 2015年第2期60-63,93,共5页
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想的等价表示形式,进一步揭示了⊕理想与MP滤子的内在联系;在MV-代数中研究了⊕理想与同余关系之间交互诱导... 在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想的等价表示形式,进一步揭示了⊕理想与MP滤子的内在联系;在MV-代数中研究了⊕理想与同余关系之间交互诱导的性质,揭示了⊕理想与同余关系的联系;利用经典代数的方法证明了⊕理想所诱导的同余关系所确定的商代数仍是MV-代数,进而证明了通过⊕理想所决定的商代数是线性MV-代数当且仅当⊕理想是素⊕理想。 展开更多
关键词 逻辑代数 mv-代数 ⊕理想 素⊕理想 同余关系 交互诱导 应用
下载PDF
量子结构和代数结构上的非概率测度 被引量:1
17
作者 辛小龙 《纯粹数学与应用数学》 2018年第4期400-405,共6页
量子结构和代数结构上的态,是一种非概率测度,也是经典概率测度的一般化.本文将对一些量子结构和代数结构上的态和内态方面的研究作一个总结回顾,并给出一些进一步研究工作的展望.
关键词 效应代数 mv-代数 L-群 EQ-代数 内态
下载PDF
格蕴涵代数、MV-代数和有界可换的BCK-代数
18
作者 费秀海 胡方汉 +1 位作者 张海芳 何天荣 《西昌学院学报(自然科学版)》 2008年第1期50-52,共3页
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。
关键词 BCK-代数 mv-代数 格蕴涵代数
下载PDF
BR_0-代数与BCK-代数
19
作者 李岩 吴洪博 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期13-15,22,共4页
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数... 讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论. 展开更多
关键词 模糊逻辑 BR0-代数 BCK-代数 mv-代数 滤子 理想
下载PDF
偏蕴涵代数
20
作者 关晓红 王国俊 韩邦合 《南阳师范学院学报》 CAS 2006年第12期4-7,共4页
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.
关键词 效应代数 差分偏序集 偏蕴涵代数 mv代数
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部