期刊文献+
共找到135篇文章
< 1 2 7 >
每页显示 20 50 100
双Quantales模中的张量积
1
作者 梁少辉 韩胜伟 《计算机工程与应用》 CSCD 2012年第9期30-32,共3页
在双Quantales模中引入了双Quantales模双同态的概念,在完备格张量积的基础上,得到了双Quantales模张量积的具体形式,讨论了双Quantales模张量积的一些重要性质。
关键词 quantales quantales 双同态 张量积
在线阅读 下载PDF
Quantales的代数余核和子Quantales
2
作者 龙飞 李庆国 《模糊系统与数学》 CSCD 北大核心 2005年第3期88-91,共4页
在研究代数余核的一些性质的基础上,得到了Quantales的映射构成代数余核的条件;同时证明了由wellinside关系生成的某种集是子Quantale.
关键词 quantales代数余核 WELL INSIDE quantales
在线阅读 下载PDF
Girard Subquantales
3
作者 龙飞 李庆国 《工程数学学报》 CSCD 北大核心 2007年第3期567-570,共4页
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给... Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给出了Girard quantales的Sub- quantales亦是Girard quantales的充分条件。 展开更多
关键词 对偶子 Girard quantales ”运算
在线阅读 下载PDF
右稳定的子Quantales 被引量:6
4
作者 龙飞 李庆国 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2006年第1期134-136,共3页
作为S-素元的推广,本文引入了右稳定元概念,并证明了在一定条件下,S右稳定元是S-素元;在研究右稳定元构成的子Quantale性质的同时,对右稳定的子Quantale作了精确刻画.
关键词 右稳定 子Quantale余核
在线阅读 下载PDF
Quantales上的导子
5
作者 肖旗梅 李庆国 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第8期87-89,共3页
在Quantales理论中引入导子的概念,探讨了Quantales中运算&的性质,并研究了左(右,双)侧元导子的包含关系,最后讨论了简单导子的相应性质.
关键词 计算科学 QUANTALE 导子 左(右 双)侧元 子Quantale 理想 简单导子
在线阅读 下载PDF
The Connectedness of Quantales
6
作者 WANG Shun-qin ZHAO Bin 《Chinese Quarterly Journal of Mathematics》 CSCD 2009年第2期303-309,共7页
The concepts of connectedness and locally connectedness is introduced for rightside idempotent quantales. Some properties of connected quantale are studied, and then the equivalent characterization of connected quanta... The concepts of connectedness and locally connectedness is introduced for rightside idempotent quantales. Some properties of connected quantale are studied, and then the equivalent characterization of connected quantale is also given. 展开更多
关键词 complete lattice QUANTALE connectedness regular Quantale
在线阅读 下载PDF
Quantale上代数余核的一点注记(英文)
7
作者 龙飞 肖劲松 《湖南城市学院学报(自然科学版)》 CAS 2006年第1期29-31,共3页
研究了代数余核的某些性质,同时亦探讨了代数余核与子Quantales之间的联系.
关键词 quantales quantales 代数余核
在线阅读 下载PDF
Quantale中的理想 被引量:13
8
作者 王顺钦 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第4期7-10,共4页
给出了Quantale中(左,右)理想的概念,讨论了Quantale中任意子集生成的(左,右)理想的具体结构,研究了Quantale中的理想与它的格意义下理想之间的关系.得到了当Q是可换Quantale时,Id(Q)中元是幂等的充要条件.
关键词 QUANTALE 理想 充要条件 核映射 格结构
在线阅读 下载PDF
单纯Quantale及其Quantale商 被引量:10
9
作者 韩胜伟 赵彬 《模糊系统与数学》 CSCD 北大核心 2005年第4期28-33,共6页
讨论Q uan ta le上的同余与Q uan ta le商之间的关系,研究单纯Q uan ta le的性质,给出一类Q uan ta le是单纯Q uan ta le的等价刻画。最后从Q uan ta le商的角度对单纯Q uan ta le进行了研究,得到单纯Q uan ta le的若干特征定理。
关键词 Quantale同余 Quantale商 核映射 单纯Quantale
在线阅读 下载PDF
软Quantale 被引量:5
10
作者 肖旗梅 李庆国 《计算机工程与应用》 CSCD 2012年第6期21-23,共3页
在Quantale结构中研究软集,给出软Quantale、软子Quantale、软理想、理想软Quantale、软Quantale同态等概念,并讨论了其相关代数性质。
关键词 软集 软Quantale 软子Quantale 软理想 理想软Quantale 软Quantale同态
在线阅读 下载PDF
Quantale矩阵可逆性的刻画 被引量:6
11
作者 韩胜伟 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期16-19,共4页
研究了Quantale矩阵及其行列式的相关性质,给出了Quantale矩阵的逆的定义,并对Quantale矩阵的逆进行了研究,证明了Quantale矩阵是可逆的当且仅当Quantale矩阵的每行每列是正交的,并且每行每列都是1的分解.
关键词 QUANTALE QUANTALE矩阵 行列式
在线阅读 下载PDF
Girard quantale的若干性质 被引量:6
12
作者 王顺钦 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期10-13,共4页
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.
关键词 完全格 D-quantale Girard QUANTALE 有效元
在线阅读 下载PDF
连续Quantale及其范畴性质 被引量:5
13
作者 梁少辉 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第5期1-5,共5页
研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连... 研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩. 展开更多
关键词 半连续Quantale 理想 连续Quantale同态 范畴
在线阅读 下载PDF
Quantale上的理想余核(英文) 被引量:7
14
作者 韩胜伟 赵彬 《模糊系统与数学》 CSCD 北大核心 2007年第5期53-58,共6页
讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。
关键词 QUANTALE 理想 余核 理想余核
在线阅读 下载PDF
Quantale上的基 被引量:4
15
作者 韩胜伟 潘芳芳 《计算机工程与应用》 CSCD 北大核心 2010年第9期31-32,37,共3页
研究了子Quantale的性质及其具体结构,给出了Quantale上稠密子集和基的概念,讨论了稠密子集和基之间的关系以及稠密子集和基的性质。
关键词 完备格 QUANTALE 子Quantale 余核映射 稠密子集
在线阅读 下载PDF
Quantale中的素理想及弱素理想 被引量:6
16
作者 王顺钦 赵彬 《模糊系统与数学》 CSCD 北大核心 2005年第1期78-81,共4页
本文把Quantale中的序结构与代数运算&结合在一起给出了Quantale中素理想和弱素理想的概念。讨论了它们之间的关系,得到了Quantale中理想是(弱)素理想的充要条件。
关键词 QUANTALE 理想 素理想 弱素理想
在线阅读 下载PDF
Quantale代数及其代数理想 被引量:5
17
作者 王蕊 赵彬 《模糊系统与数学》 CSCD 北大核心 2010年第2期44-49,共6页
给出Quantale代数的概念,得到了单位Quantale是Quantale代数的充要条件,讨论了理想与代数理想的关系,找到了理想不是代数理想的具体例子以及理想是代数理想的充分条件。
关键词 QUANTALE Quantale代数 子模 代数理想
在线阅读 下载PDF
预Girard quantale及其性质的研究 被引量:3
18
作者 赵彬 韩胜伟 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第4期1-4,27,共5页
研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系,简化了理想余核的定义,讨论了理想余核的一些性质,给出了右侧幂等quantale上所有理想余核的具体刻画.得到了预Girard quantale是Girard quantale的... 研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系,简化了理想余核的定义,讨论了理想余核的一些性质,给出了右侧幂等quantale上所有理想余核的具体刻画.得到了预Girard quantale是Girard quantale的充要条件.证明了任意Quantale都可以嵌入到预Girard quantale中,并且在预Girard quantale上核映射与理想余核是一一对应关系. 展开更多
关键词 完备格 QUANTALE 预Girard QUANTALE Girard QUANTALE 核映射 理想余核
在线阅读 下载PDF
Quantale的若干新的性质 被引量:6
19
作者 刘智斌 赵彬 《模糊系统与数学》 CSCD 2004年第1期27-30,共4页
讨论Quantale的若干性质,给出Prequantale构成Quantale的两个充要条件,论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。
关键词 QUANTALE Prequantale 分配格 完备格 结合律 惟一性
在线阅读 下载PDF
Quantale中的模糊滤子 被引量:6
20
作者 王顺钦 梁少辉 《模糊系统与数学》 CSCD 北大核心 2010年第1期60-65,共6页
在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。
关键词 完备格 QUANTALE 线性逻辑 滤子 模糊滤子
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部