位置：成果数据库 > 期刊 > 期刊详情页
WBR_0-代数的∧-半格表示及其实例
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,西安710062
  • 相关基金：国家自然科学基金（No.10871121）
作者： 陈冬青[1], 吴洪博[1]
关键词： 逻辑代数, WBR0-代数, BR0-代数, ∧-半格, 实例, logic algebras, WBR 0-algebra, BR 0-algebra, ∧-semi-lattice, example
中文摘要：

对WBR0-代数进行了再研究。给出WBR0-代数的一种∧-半格结构表示的简化形式,并根据这一简化形式构造了一个非BR0-代数的WBR0-代数的实例,进一步说明了WBR0-代数提出的合理性。

英文摘要：

The WBR 0-algebras have been studied in depth.The ∧-semi-lattice form of WBR 0-algebras have been obtain which is also a simplified form of WBR 0-algebras.According to this simplified form,the example of WBR 0-algebra is structed which is not a BR 0-algebra,and which explains the rationality of WBR 0-algebras.

同期刊论文项目
Quantale相关结构的代数性质研究
期刊论文 104
同项目期刊论文
QBL代数及其与BL代数的等价性
双Quantale模范畴
Quantale代数及其代数理想
R0代数的并半格蕴涵表示形式及其简化
BL*Δ-系统中理论的Δ-根及广义Δ-MP问题
Quantale上的I型结构及其性质
模糊半连续格的性质
NML系统的有限强完备性
Quantale模范畴的良冪性及其定向極限
WZ-Domain与WZ-Scott拓扑
Girard Quantale中的模糊关联滤子
拟连续Domain的遗传性、不变性及映射空间
相容Domain间Scott连续自映射的不动点
The generalized truth degree of quantitative logic in logic system L*n(n-valued NM-logic system)
逻辑系统H中的广义语义MP规则
Quantale上的结构和结构
V-quantale的表示定理
推理闭包空间之间的连续映射及商映射
偏序集上的两类序收敛
强FS-Poset若干性质的研究
Quantic格上的同态定理
逻辑系统H中的三-I算法
领域系算子范畴及相关性质
模糊完备格上的模糊同余关系
Quantale上的Localic核与Localic余核映射
Quantic格中的理想和理想余闭包算子
The quantic conuclei on quantales
Kernel systems on L-ordered sets
基于非交换剩余格的模糊蕴涵滤子及其性质
基础模糊命题演算系统的改进系统
BL*系统的一种扩张及其相关性质
-Lindenbaum代数中的商理想
逻辑系统中广义语义MP规则证明的改进
Quantale上的基
序半群上的等同关系
非交换BR0代数的剩余格表示
(3n+1)值逻辑系统R0L中公式的真度性质
正则剩余格上的模糊理想与模糊蕴涵理想
正则FI代数与WBR0代数的关系
双Z-连续格和双Z-Scott拓扑的性质
双Quantale模中的同余及核映射
Stone-like representation theorems and three-valued filters in R0-algebras
Z-Quantale及其范畴性质
Cyclic dualizing elements in Girard quantales
对偶Quantale上的Par运算及其性质
Quantale中理想的扩张
Quantale中的弱S- 素元及其性质
BR-代数的无序表示形式及WBR-代数性质
R-代数在一般集合上的表示形式
序半群范畴的反射子范畴
可传V-Quantale和蕴含V-Quantale
模糊命题演算系统的一个新的等价形式
格上BR0代数结构的表示定理
粗糙集代数与BR代数
闭包算子格及其分配性
FZ-Domain的基与抽象基的RZ-理想完备化
Quantale上的预核映射与预理想余核映射
Quantale中的素根定理
关于Quantale矩阵M—P广义逆的注记
相容拟半连续Domain和相容交半连续Domain
Quantale模核映射与余核映射的关系
The Connectedness of Quantales
QBL-代数及其与BL-代数的等价性
BR_0-分配性及其推广
弱拓扑分子格的连通性及局部连通性
格上BR0-代数结构的表示定理
BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题
M-闭包空间的积、和与商
三类特殊闭包空间的范畴性质
强FS—Poset若干性质的研究
系统L中公式相对于有限理论的ΣΓ-真度再研究
真度的均值表示形式在逻辑系统Ln中的应用
系统Ln中公式相对于有限理论的∑Г-真度再研究
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
多值逻辑系统RDP中的子代数理论
基础模糊命题演算系统BL＊的改进系统
Quantale上的双侧核映射
正则剩余格上的模糊理想基
连续值Luk系统中公式的Γ-真度及其性质
闭包算子空间范畴及其性质研究
模糊集间的R0-相似关系及其性质
粗糙集代数与BR0代数
逻辑系统Hα中广义语义MP规则证明的改进
Quantale模范畴的良幂性及其定向极限
Quantale矩阵的广义逆及其正定性
BR0-代数的无序表示形式及WBR0-代数性质
WZ—Domain与WZ—Scott拓扑
Quantale中的模糊滤子
Ln^＊系统中理论的相对发散度和相对相容度
L-模糊偏序集上的核算子与核系统
R0代数的∨-半格蕴涵表示形式及其简化
正则剩余格上的模糊理想及模糊蕴涵理想
模糊集Quantale与Quantale的嵌入
Quantale中的弱S-素元及其性质
L-闭包系统的确定
完备De Morgan代数上弱余拓扑的确定
邻域系算子格及其性质
差分方程在概率问题中的应用
L-拓扑空间的R-强连通性
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887