BR0代数

作品数：25被引量：48H指数：5
导出分析报告
相关领域：理学更多>>
相关作者：吴洪博张秋霞龚加安李小杰王国俊更多>>
相关机构：陕西师范大学商洛职业技术学院扬州大学安康学院更多>>
相关期刊：《太原师范学院学报（自然科学版）》《扬州大学学报（自然科学版）》《山东大学学报（理学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家重点实验室开放基金江苏省自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
BR_0代数的犹豫模糊滤子与理想被引量：6
《计算机工程与应用》2018年第11期62-66,90,共6页彭家寅 
教育部数学与应用数学专业综合改革项目(No.ZG0464);四川省科技厅重点科技项目(No.2006J13-035);四川省数学与应用数学专业综合改革项目(No.01249);四川省解析儿何精品开放课程项目;内江师范学院2012年校级精品资源共享课项目;国家自然科学基金(No.11071178);内江师范学院应用数学重点学科项目;内江师范学院卓越教师培养计划项目;四川省数学与应用数学专业卓越教师培养计划项目
将犹豫模糊集应用于BR_0代数的滤子和理想理论中,初步建立BR_0代数的犹豫模糊滤子与理想理论。引入了BR_0代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想的概念,研究它们的基本性质,给出了BR_0代数的犹豫模糊集成为犹豫模糊滤子(犹...
关键词：BR0代数 犹豫模糊滤子 犹豫模糊理想 犹豫模糊素理想 
可除BR_0代数及其消去律性质被引量：1
《云南师范大学学报（自然科学版）》2018年第2期27-33,共7页崔艳丽 吴洪博 
国家自然科学基金资助项目(61572016);中央高校基本科研业务费专项基金资助项目(GK201501001)
在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数...
关键词：BR0代数 可换BR0代数 可除BR0代数 消去律 
PBR_0代数的性质及其滤子被引量：1
《河南师范大学学报（自然科学版）》2016年第3期7-13,共7页龚加安 吴洪博 
国家自然科学基金(61562015)
在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.
关键词：逻辑代数 BR0代数 PBR0代数 滤子 生成滤子 
NBR_0代数上的运算和性质被引量：1
《吉林大学学报（理学版）》2016年第1期1-7,共7页龚加安 吴洪博 
国家自然科学基金(批准号:11531009;61572016)
通过提出模糊逻辑代数NBR_0的概念,研究逻辑代数NBR_0的代数结构,定义其上的运算,并探讨新运算,→_1,→_2与原运算之间关系,得到了NBR_0代数的一个等价刻画.
关键词：模糊逻辑 BR0代数 NBR0代数 剩余格 左(右)伴随 
MTL代数的Wajsberg形式及其应用
《山东大学学报（理学版）》2015年第2期75-82,共8页寇海燕 吴洪博 
国家自然科学基金资助项目(11171196)
MTL代数是一种重要的基础逻辑代数。本文采用Wajsberg方法,根据逻辑系统MTL中公理的形式,建立了NMTL代数的经典代数表示形式,进而证明了NMTL代数与MTL代数是同一代数结构,证明了满足条件x,y∈L,x→y=(y→0)→(x→0)的NMTL代数L是BR0...
关键词：模糊逻辑 剩余格 NMTL代数 MTL代数 BR0代数 BL代数 
BR0代数中的＊理想及其诱导的商代数被引量：6
《江西师范大学学报（自然科学版）》2013年第3期221-224,共4页牛超慧 吴洪博 
国家自然科学基金(11171196)资助项目
通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.
关键词：逻辑代数 BR0代数 ＊理想 素＊理想 极大＊理想 商代数 
可换BR_0代数的刻画和性质被引量：5
《扬州大学学报（自然科学版）》2012年第1期1-4,37,共5页凌雪岷 徐罗山 
国家重点实验室开放课题(SKLSDE-2011KF-08);江苏省自然科学基金资助项目(BK2010313;BK2011442)
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HF...
关键词：可换BR0代数 有界可换BCK代数 正则HFI代数 
BL~＊系统的一种扩张及相关性质被引量：1
《计算机工程与应用》2010年第19期36-38,共3页张琼 吴洪博 
国家自然科学基金(No.10871121)~~
对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张...
关键词：模糊逻辑 命题演算 BR0代数 BOOLE代数 BL＊系统 形式系统L 
BR_0代数的模糊滤子与模糊素滤子被引量：2
《安康学院学报》2009年第6期91-93,共3页龚加安 吴洪博 
国家自然科学基金(10471083);陕西师范大学重点科研基金(995130)
本文引入BR0代数的模糊滤子和模糊素滤子的概念,讨论了BR0代数的模糊滤子和模糊素滤子的若干性质,给出了BR0代数的模糊集是模糊滤子的充要条件,证明了模糊滤子和模糊素滤子在BR0代数同构下的不变性.
关键词：模糊逻辑 BR0代数 模糊滤子 模糊素滤子 
BR_0代数中素理想的拓扑空间
《纺织高校基础科学学报》2009年第3期279-283,共5页龚加安 吴洪博 
国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金(995130)
为了研究BR0代数M上全体理想及素理想的结构,通过在M的全体理想I(M)上定义格运算的方法,证明了如此定义的格是有界分配格,得到了M上的全体素理想P I(M)构成了一个T0的紧致拓扑空.
关键词：BR0代数 理想 素理想 紧致空间 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部