期刊文献+
共找到40篇文章
< 1 2 >
每页显示 20 50 100
BR_0–代数的无序表示形式及WBR_0–代数性质 被引量:29
1
作者 吴洪博 王昭海 《工程数学学报》 CSCD 北大核心 2009年第3期456-460,共5页
对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。
关键词 模糊逻辑 逻辑代数 BR0-代数 无序 WBR0-代数
下载PDF
一种新的模糊逻辑代数系统 被引量:23
2
作者 裴道武 王国俊 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期564-568,共5页
基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统... 基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统之间的关系。 展开更多
关键词 模糊逻辑 代数系统 数理逻辑
下载PDF
R_0-代数在一般集合上的,→表示形式 被引量:10
3
作者 吴洪博 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2009年第4期661-666,共6页
在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.
关键词 模糊逻辑 逻辑代数 R0-代数 蕴涵算子 集合
下载PDF
WBR_0-代数的构建与性质 被引量:9
4
作者 王志明 吴洪博 《模糊系统与数学》 CSCD 北大核心 2011年第4期55-61,共7页
通过对W BR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将W BR0-代数进行简化。其次讨论W BR0-代数的性质及其分配性,并构造一个非BR0-代数的W BR0-代数的结构说明了W BR0-代数不同于BR0-代数。同时该结构说明W BR0-代数不满... 通过对W BR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将W BR0-代数进行简化。其次讨论W BR0-代数的性质及其分配性,并构造一个非BR0-代数的W BR0-代数的结构说明了W BR0-代数不同于BR0-代数。同时该结构说明W BR0-代数不满足分配律。 展开更多
关键词 逻辑代数 WBRo-代数 BRo-代数 分配性
原文传递
泛逻辑学中UB代数系统的滤子与商代数 被引量:8
5
作者 肖云萍 邹庭荣 《计算机工程与应用》 CSCD 北大核心 2007年第35期90-92,136,共4页
给出了理想状态下泛逻辑学的形式演绎系统",证明了此系统是可靠的。提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,进一步讨论了UB代数滤子与商代数,得到一些有用的结果。
关键词 泛逻辑学 UB代数系统 模糊逻辑 滤子 商代数
下载PDF
泛逻辑学中UB代数系统的fuzzy滤子 被引量:7
6
作者 肖云萍 邹庭荣 《计算机科学与探索》 CSCD 2008年第2期212-216,共5页
文献[2]给出了理想状态下泛逻辑学的形式演绎系统!,证明了此系统是可靠的。文献[3]提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数。文献[5]研究了泛逻辑学中UB代数系统的若干性质。在文献[3,5]的基础上,进一步讨论了UB代数... 文献[2]给出了理想状态下泛逻辑学的形式演绎系统!,证明了此系统是可靠的。文献[3]提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数。文献[5]研究了泛逻辑学中UB代数系统的若干性质。在文献[3,5]的基础上,进一步讨论了UB代数fuzzy滤子与商代数。 展开更多
关键词 泛逻辑学 UB代数系统 模糊逻辑 FUZZY滤子
下载PDF
BR_0-分配性及其推广 被引量:6
7
作者 李玲玲 吴洪博 《山东大学学报(理学版)》 CAS CSCD 北大核心 2012年第2期93-97,共5页
在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配... 在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 展开更多
关键词 模糊逻辑 剩余格 BR0-代数 BR0-分配性 无限分配性
原文传递
BR_0-代数中MT理想的扩展及素MT理想的存在性 被引量:5
8
作者 吴洪博 王娜 《电子学报》 EI CAS CSCD 北大核心 2015年第6期1137-1143,共7页
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法... BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充. 展开更多
关键词 逻辑代数 BR0-代数 素并-理想 MT理想 扩展 素MT理想 存在性
下载PDF
R_0-代数与BL-代数中的素滤子定理(英文) 被引量:3
9
作者 张小红 田英培 《工程数学学报》 CSCD 北大核心 2005年第5期935-938,共4页
R0-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似。本文通过一个特殊集x?1F分别给出R0?代数及BL-代数素滤子的一个等价条件,并给出BL-代数的一个新性质。应用这些结果分别得到R0-代数与BL-代数的素... R0-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似。本文通过一个特殊集x?1F分别给出R0?代数及BL-代数素滤子的一个等价条件,并给出BL-代数的一个新性质。应用这些结果分别得到R0-代数与BL-代数的素滤子定理。 展开更多
关键词 模糊逻辑 R0-代数 BL-代数 MP滤子 素滤子
下载PDF
[0,1]上的一种逻辑度量结构 被引量:3
10
作者 代建云 吴洪博 《华中师范大学学报(自然科学版)》 CAS CSCD 2008年第2期179-182,共4页
在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称"(R0单位)逻辑度量空间"),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.
关键词 模糊逻辑 R0代数 R0单位区间 逻辑度量
下载PDF
IMTL逻辑代数的一种新强化形式 被引量:1
11
作者 周建仁 吴洪博 《山东大学学报(理学版)》 CAS CSCD 北大核心 2014年第4期84-89,94,共7页
对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于I... 对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL*-代数的一些等价刻画;最后,给出了IMTL*-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。 展开更多
关键词 模糊逻辑 逻辑代数 IMTL-代数 IMTL*-代数 特征 蕴涵表示定理
原文传递
R_0-代数(NM-代数)的区间值模糊子代数 被引量:2
12
作者 刘春辉 吴静 《模糊系统与数学》 CSCD 北大核心 2012年第3期77-84,共8页
将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得... 将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。 展开更多
关键词 模糊逻辑 R0-代数 模糊R0-子代数 区间值模糊集 区间值模糊R0-子代数
原文传递
WBR_0-代数的∧-半格表示及其实例 被引量:2
13
作者 陈冬青 吴洪博 《计算机工程与应用》 CSCD 北大核心 2011年第27期49-51,共3页
对WBR0-代数进行了再研究。给出WBR0-代数的一种∧-半格结构表示的简化形式,并根据这一简化形式构造了一个非BR0-代数的WBR0-代数的实例,进一步说明了WBR0-代数提出的合理性。
关键词 逻辑代数 WBR0-代数 BR0-代数 ∧-半格 实例
下载PDF
关于BCI逻辑的一种偏序代数(英文)
14
作者 王三民 《模糊系统与数学》 CSCD 北大核心 2007年第3期60-65,共6页
通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不... 通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。 展开更多
关键词 非经典逻辑 偏序代数 BCI-代数 BCI逻辑 MPE-代数
下载PDF
A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities 被引量:1
15
作者 Gerd Niestegge 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第12期974-980,共7页
In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A m... In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders-von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are: the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic (events) belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases. 展开更多
关键词 quantum measurement conditional probability quantum logic operator algebras
下载PDF
IMTL-代数的零化算子和⊕理想及其相互关系
16
作者 王伦磊 吴洪博 《计算机工程与应用》 CSCD 北大核心 2017年第9期57-62,共6页
主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进... 主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进行了讨论;最后,给出了IMTL-代数上零化子和⊕理想之间的相互依赖的关系和相互决定的方法。 展开更多
关键词 模糊逻辑 逻辑代数 IMTL-代数 零化算子 ⊕理想
下载PDF
泛逻辑学中UB代数的(U-Fuzzy)同态定理
17
作者 肖云萍 邹庭荣 《模糊系统与数学》 CSCD 北大核心 2008年第3期16-20,共5页
引入了UB代数滤子、Fuzzy滤子和商代数的概念,并按照常规方法(经典集合之间的映射)引入了两个UB代数间的U-fuzzy同态的概念,给出了UB代数的同态与同态基本定理和u-fuzzy同态基本定理,在最后引入了fuzzy同态的概念,初步讨论了一些结果。
关键词 泛逻辑学 UB代数 模糊逻辑 u—fuzzy同态 同态基本定理
下载PDF
Closure Operators of Lattice-valued Propositional Logic LP(X)
18
作者 WANG Xue-fang ZHENG Feng-bin XU Yang 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第3期301-308,共8页
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investi... In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given. 展开更多
关键词 lattice-valued logic lattice implication algebras closure operators COMPACTNESS
下载PDF
关于PFI-代数与剩余格 被引量:28
19
作者 朱怡权 曹喜望 《数学进展》 CSCD 北大核心 2006年第2期223-231,共9页
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为... 本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 展开更多
关键词 多值逻辑 (正则)PFI-代数 (正则)剩余格 (弱)R0-代数 对偶结构
下载PDF
格蕴涵代数的蕴涵表示定理 被引量:19
20
作者 刘春辉 徐罗山 《模糊系统与数学》 CSCD 北大核心 2010年第4期26-32,共7页
在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其... 在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 展开更多
关键词 模糊逻辑 格蕴涵代数 蕴涵 表示定理
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部