搜索到61篇“ BR0代数“的相关文章
- 基于BR0代数语义的模糊命题逻辑系统的随机发散度与近似推理
- 2025年
- 基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散度的概念,给出了3种不同类型的近似推理模式,并讨论了它们之间的关系.
- 何银惠小静彭晨雪
- 关键词：模糊逻辑
- BR0代数中的＊理想及其诱导的商代数被引量：6
- 2013年
- 通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.
- 牛超慧吴洪博
- 关键词：逻辑代数BR0代数商代数
- BR0代数及对应逻辑系统中单原子生成公式的真值函数特征
- 非经典是模糊推理和模糊控制等的理论基础。在非经典数理逻辑不断走向成熟和完善的过程中，许多学者基于不同的蕴涵算子引入了各种逻辑蕴涵代数，如MV代数，FI代数，BR0代数等。本文以BR0代数为基础，给出BR0代数成为Bool...
- 凌雪岷
- 关键词：BR0代数BOOLE代数真值函数
- 可除BR_0代数及其消去律性质被引量：1
- 2018年
- 在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数与可换BR_0代数的等价性;最后进一步探索了可除BR_0代数的性质并证明了其中关于蕴涵算子的消去律性质.
- 崔艳丽吴洪博
- 关键词：BR0代数消去律
- BR_0代数的犹豫模糊滤子与理想被引量：6
- 2018年
- 将犹豫模糊集应用于BR_0代数的滤子和理想理论中,初步建立BR_0代数的犹豫模糊滤子与理想理论。引入了BR_0代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想的概念,研究它们的基本性质,给出了BR_0代数的犹豫模糊集成为犹豫模糊滤子(犹豫模糊理想)的条件,证明了BR_0代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想关于交运算具有封闭性,指出了犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想在BR_0代数同构下的不变性。
- 彭家寅
- 关键词：BR0代数
- NBR_0代数上的运算和性质被引量：1
- 2016年
- 通过提出模糊逻辑代数NBR_0的概念,研究逻辑代数NBR_0的代数结构,定义其上的运算,并探讨新运算,→_1,→_2与原运算之间关系,得到了NBR_0代数的一个等价刻画.
- 龚加安吴洪博
- 关键词：模糊逻辑BR0代数剩余格
- PBR_0代数的性质及其滤子被引量：1
- 2016年
- 在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.
- 龚加安吴洪博
- 关键词：逻辑代数BR0代数滤子
- MTL代数的Wajsberg形式及其应用
- 2015年
- MTL代数是一种重要的基础逻辑代数。本文采用Wajsberg方法,根据逻辑系统MTL中公理的形式,建立了NMTL代数的经典代数表示形式,进而证明了NMTL代数与MTL代数是同一代数结构,证明了满足条件x,y∈L,x→y=(y→0)→(x→0)的NMTL代数L是BR0代数。在此基础上证明了IMTL代数和BR0代数是同一代数结构,并给出BR0代数和BL代数的Wajsberg形式。
- 寇海燕吴洪博
- 关键词：模糊逻辑剩余格MTL代数BR0代数BL代数
- BL~＊系统的一种扩张及相关性质被引量：1
- 2010年
- 对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。
- 张琼吴洪博
- 关键词：模糊逻辑命题演算BR0代数BOOLE代数
- BR_0代数中素理想的拓扑空间
- 2009年
- 为了研究BR0代数M上全体理想及素理想的结构,通过在M的全体理想I(M)上定义格运算的方法,证明了如此定义的格是有界分配格,得到了M上的全体素理想P I(M)构成了一个T0的紧致拓扑空.
- 龚加安吴洪博
- 关键词：BR0代数素理想紧致空间
相关作者
- 吴洪博
- 作品数：230被引量：479H指数：17
- 供职机构：陕西师范大学
- 研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
- 张秋霞
- 作品数：7被引量：12H指数：2
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：BR0代数 BR 代数 逻辑代数 滤子
- 龚加安
- 作品数：47被引量：32H指数：3
- 供职机构：商洛职业技术学院
- 研究主题：BR0代数 高等数学 代数 高职院校 BR
- 李小杰
- 作品数：6被引量：11H指数：2
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：代数 BR0代数 BR 次极大 滤子
- 张红杰
- 作品数：8被引量：5H指数：1
- 供职机构：陕西师范大学
- 研究主题：逻辑度量空间 差异度 伪度量 N BR0代数
