位置：成果数据库 > 期刊 > 期刊详情页
R0代数的∨-半格蕴涵表示形式及其简化
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]汉中职业技术学院计算机科学与技术系,陕西汉中723000, [2]陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金：国家自然科学基金资助项目（10871121）; 陕西省师范大学重点科研基金资助项目（995130）
作者： 崔艳丽[1,2], 吴洪博[2]
关键词： 模糊命题演算系统, L＊系统, R0代数, R0＊代数, Fuzzy Propositional Calculus System, L＊ System, R0 Algebra, R＊0 Algebra
中文摘要：

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L＊系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。

英文摘要：

By the study of the relationships among the conditions of R0 algebra,a new kind of representative form of R0 algebra is given only through the implication operator in the ∨-semi-lattice（M,∨,0,1）.Simultaneously,this new form of R0 algebra is further simplified by comparing the conditions of R0 algebra with the axioms of the L＊ system.This work conforms R0 algebra to the features of logic algebra in definition.

同期刊论文项目
Quantale相关结构的代数性质研究
期刊论文 104
同项目期刊论文
Quantale代数及其代数理想
R0代数的并半格蕴涵表示形式及其简化
BL*Δ-系统中理论的Δ-根及广义Δ-MP问题
Quantale上的I型结构及其性质
模糊半连续格的性质
拟连续Domain的遗传性、不变性及映射空间
相容Domain间Scott连续自映射的不动点
The generalized truth degree of quantitative logic in logic system L*n(n-valued NM-logic system)
逻辑系统H中的广义语义MP规则
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上的基
双Quantale模中的同余及核映射
Stone-like representation theorems and three-valued filters in R0-algebras
Z-Quantale及其范畴性质
模糊命题演算系统的一个新的等价形式
格上BR0代数结构的表示定理
粗糙集代数与BR代数
闭包算子格及其分配性
Quantale模核映射与余核映射的关系
The Connectedness of Quantales
QBL-代数及其与BL-代数的等价性
BR_0-分配性及其推广
弱拓扑分子格的连通性及局部连通性
格上BR0-代数结构的表示定理
BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题
M-闭包空间的积、和与商
系统L中公式相对于有限理论的ΣΓ-真度再研究
真度的均值表示形式在逻辑系统Ln中的应用
系统Ln中公式相对于有限理论的∑Г-真度再研究
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
多值逻辑系统RDP中的子代数理论
基础模糊命题演算系统BL＊的改进系统
Quantale矩阵的广义逆及其正定性
Quantale中的模糊滤子
Quantale中的弱S-素元及其性质
L-闭包系统的确定
完备De Morgan代数上弱余拓扑的确定
L-拓扑空间的R-强连通性
差分方程在概率问题中的应用
邻域系算子格及其性质
模糊集Quantale与Quantale的嵌入
正则剩余格上的模糊理想及模糊蕴涵理想
L-模糊偏序集上的核算子与核系统
Ln^＊系统中理论的相对发散度和相对相容度
WZ—Domain与WZ—Scott拓扑
BR0-代数的无序表示形式及WBR0-代数性质
Quantale模范畴的良幂性及其定向极限
逻辑系统Hα中广义语义MP规则证明的改进
粗糙集代数与BR0代数
模糊集间的R0-相似关系及其性质
闭包算子空间范畴及其性质研究
WBR_0-代数的∧-半格表示及其实例
连续值Luk系统中公式的Γ-真度及其性质
正则剩余格上的模糊理想基
Quantale上的双侧核映射
强FS—Poset若干性质的研究
三类特殊闭包空间的范畴性质
相容拟半连续Domain和相容交半连续Domain
关于Quantale矩阵M—P广义逆的注记
Quantale中的素根定理
Quantale上的预核映射与预理想余核映射
FZ-Domain的基与抽象基的RZ-理想完备化
可传V-Quantale和蕴含V-Quantale
序半群范畴的反射子范畴
R-代数在一般集合上的表示形式
BR-代数的无序表示形式及WBR-代数性质
Quantale中的弱S- 素元及其性质
Quantale中理想的扩张
对偶Quantale上的Par运算及其性质
Cyclic dualizing elements in Girard quantales
双Z-连续格和双Z-Scott拓扑的性质
正则FI代数与WBR0代数的关系
正则剩余格上的模糊理想与模糊蕴涵理想
(3n+1)值逻辑系统R0L中公式的真度性质
非交换BR0代数的剩余格表示
序半群上的等同关系
推理闭包空间之间的连续映射及商映射
V-quantale的表示定理
Girard Quantale中的模糊关联滤子
WZ-Domain与WZ-Scott拓扑
Quantale模范畴的良冪性及其定向極限
NML系统的有限强完备性
双Quantale模范畴
QBL代数及其与BL代数的等价性
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133