位置：成果数据库 > 期刊 > 期刊详情页
Quantale上的基
  • 期刊名称：计算机工程与应用，46（2010）9:31-32,37
  • 时间：0
  • 分类：O153.1[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,西安710062, [2]西安邮电学院应用数学与物理系,西安710121
  • 相关基金：国家自然科学基金（the National Natural Science Foundation of China under Grant No.10871121）;陕西师范大学博士基金项目（No.999333）.
  • 相关项目：Quantale相关结构的代数性质研究
关键词： 完备格, Quantale, 子Quantale, 余核映射, 稠密子集, 基, complete lattice, Quantale, subquantale, conucleus, dense subset, basis
中文摘要：

研究了子Quantale的性质及其具体结构,给出了Quantale上稠密子集和基的概念,讨论了稠密子集和基之间的关系以及稠密子集和基的性质。

英文摘要：

The properties and concrete structures of subquantale are studied.The concepts of a dense subset and a basis on Quantale are introduced.The relationship between dense subsets and basis and the properties of dense subset and basis are discussed.

同期刊论文项目
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规则证明的改进
序半群上的等同关系
非交换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系统中公式的Γ-真度及其性质
WBR_0-代数的∧-半格表示及其实例
闭包算子空间范畴及其性质研究
模糊集间的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-强连通性