王伟华

作品数：4被引量：9H指数：2
导出分析报告
供职机构：陕西师范大学数学与信息科学学院更多>>
发文主题：BR非交换代数BR0-代数QUANTALE更多>>
发文领域：理学更多>>
发文期刊：《计算机工程与应用》《纺织高校基础科学学报》《云南师范大学学报（自然科学版）》《模糊系统与数学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非交换BR_0代数的剩余格表示被引量：2
《模糊系统与数学》2011年第5期18-24,共7页王伟华 吴洪博 
国家自然科学基金资助项目(10871121);陕西师范大学重点科研基金资助项目(995130)
为了使非可换逻辑代数N BR0具有剩余格结构,提出两种剩余格结构N RL和CN RL,建立N BR0代数的N RL和CN RL表示。最后讨论了CN RL上的λ结构和γ结构,得到N BR0代数的表现定理。
关键词：剩余格 NRL CNRL 非交换BR0代数 左(右)伴随 
复平面C([0,1])上的逻辑代数及其度量
《云南师范大学学报（自然科学版）》2009年第1期5-8,共4页王伟华 吴洪博 
国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金资助项目(995130)
在复平面C([0,1])上建立了四种逻辑代数,讨论了其性质,并且定义了C([0,1])上的逻辑度量,得到了四种逻辑度量空间,最后证明了在复平面上存在一个线性序拓扑。
关键词：复数 逻辑代数 逻辑度量空间 线性序拓扑 
非交换BR_0-代数与其上的Quantale被引量：8
《计算机工程与应用》2008年第25期43-45,共3页王伟华 吴洪博 
国家自然科学基金No.10471083;陕西师范大学重点科研基金(No.995130)~~
提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。
关键词：BR0-代数 非交换BR0-代数 QUANTALE 
NBL^＊形式系统
《纺织高校基础科学学报》2008年第3期262-269,共8页王伟华 吴洪博 
国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金资助项目(995130)
将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL*的公理,进而得到其上的[F]完备性和广义演...
关键词：非交换BR0代数 NBL^＊形式系统 命题演算系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部