BOOLE代数

作品数：33被引量：82H指数：5
导出分析报告
相关领域：理学文化科学更多>>
相关作者：王国俊凌雪岷苏忍锁段景瑶吴洪博更多>>
相关机构：陕西师范大学安徽新华学院扬州大学江苏师范大学更多>>
相关期刊：《计算机工程与应用》《江西师范大学学报（自然科学版）》《佛山科学技术学院学报（自然科学版）》《自然杂志》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目陕西省自然科学基金河南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
什么是密码Boole函数?
《数学译林》2023年第1期86-89,66,92,共6页Lilya Budaghyan Pantelimon Stanica 张翰文(译) 赵振江(校) 
作为纯数学和应用数学以及计算机科学中研究的最基本的对象之一,在基础数学和数理逻辑的背景下,大约150年前,由英国数学家George Boole(布尔,1815-1864)引入了Boole函数这个概念在Boole的《思想的法则(The lawsof thought)》[3]中,他处...
关键词：应用数学 数理逻辑 BOOLE代数 计算机科学 代数学 Boole函数 
MV-代数的广义导子被引量：1
《纯粹数学与应用数学》2021年第2期176-187,共12页王军涛 肖佳平 王申桥 郭静贤 陈鹏英 程颂 
国家自然科学基金(12001423,11961016);陕西省自然科学基础研究计划项目(2020JQ-762,2021JQ-580,2021-JQ579);陕西省教育厅自然科学研究专项计划(20JK0626).
借助于MV-代数的自同态引入并研究了MV-代数上的广义(→,⊕)-导子,得到了其等价刻画.此外,给出了MV-代数的广义中心主导子的概念,在此基础之上讨论了广义(→,⊕)-导子与MV-代数其它导子之间的关系,并利用强主中心广义导子的不动点集给出...
关键词：MV-代数 自同态 (→ ⊕)导子 BOOLE代数 
关于对合BCK代数被引量：1
《佛山科学技术学院学报（自然科学版）》2020年第1期39-43,60,共6页凌雪岷 
安徽省质量工程一般教研项目(2017jyxm0530);安徽新华学院重点科研项目(2017zr011);安徽新华学院教学团队项目(2017jxtdx05);安徽新华学院“骨干教师”项目(2018xgg32,2018xgg36)
证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。
关键词：对合BCK代数 正则FI-代数 分配性 BOOLE代数 
正则FI-代数的刻画及成为Boole代数的条件
《计算机工程与应用》2018年第16期59-62,共4页凌雪岷 徐罗山 杨凌云 
国家自然科学基金(No.11671008;No.61300153);江苏省高校自然科学基金(No.15KJD110006);江苏高校品牌专业建设工程项目(No.PPZY2015B109;No.PPZY2015A013);安徽新华学院重点科研项目(No.2017zr011)
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨...
关键词：FI-代数 正则FI-代数 蕴涵分配性 BOOLE代数 
WBR_0-代数成为Boole代数的条件
《模糊系统与数学》2018年第3期16-22,共7页凌雪岷 徐罗山 杨凌云 
国家自然科学基金资助项目(11671008;61300153);江苏省高校自然科学基金资助项目(15KJD110006);江苏高校品牌专业建设工程项目(PPZY2015B109;PPZY2015A013);安徽省质量工程一般项目(2017jyxm30)
在WBR_0-代数中引入了蕴涵式条件(Imp)和可分解性条件(Dis),证明了在WBR_0-代数中这两个条件等价。引入了(正定)关联WBR_0-代数概念,并证明了满足(Imp)条件的WBR_0-代数与(正定)关联BR0-代数等价。我们也证明了蕴涵式WBR_0-代数与Boole...
关键词：BOOLE代数 WBR0-代数 蕴涵式条件 可分解条件 
Boole代数中极大滤子的刻画与Cantor三分集
《数学学报（中文版）》2014年第6期1221-1230,共10页罗清君 王国俊 
国家自然科学基金资助项目(11171200);陕西省统计研究中心基金资助项目(12JD04)
清楚地刻画出有限和由无限可数个基本元生成的Boole代数中极大滤子的具体结构,在全体极大滤子之集上通过自然的方式引入一种紧致的Hausdorff拓扑,证明了当Boole代数可由无限可数个基本元生成时所得的拓扑空间与Cantor三分集同胚.
关键词：极大滤子 紧致Hausdorff拓扑 Cantor三分集 
Boole代数上的几个新度量结构
《河南师范大学学报（自然科学版）》2011年第4期25-28,共4页左卫兵 娄妍 
河南省自然科学基金(112300410040);河南省教育厅自然科学研究项目(2010A110011)
设B是Boole代数,Ω是B到Boole代数{0,1}的全体格同态,μ是Ω上的概率测度,基于B中元素的尺寸的概念提出了元素之间的几个伪度量,建立了B上的度量结构,研究了其上运算的连续性及相互关系.
关键词：BOOLE代数 格同态 元素的尺寸 度量 连续性 
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 
Heyting代数与剩余格被引量：6
《陕西理工学院学报（自然科学版）》2009年第4期63-69,共7页苏忍锁 张馨文 
宝鸡文理学院重点科研资助项目(ZK2519)
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。
关键词：HEYTING代数 剩余格 正则剩余格 BOOLE代数 MV-代数 
命题演算系统L~*中的Boole型理论
《陕西师范大学学报（自然科学版）》2008年第4期1-3,7,共4页王茹 王国俊 
国家自然科学基金重点资助项目(10331010;10771129)
研究了命题演算系统L*中一类特殊理论——Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小...
关键词：Boole型理论 R0代数 BOOLE代数 箩系统 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部