QUANTALES

作品数：7被引量：6H指数：1
导出分析报告
相关领域：理学更多>>
相关作者：李庆国龙飞梁少辉韩胜伟肖劲松更多>>
相关机构：湖南大学湖南城市学院陕西师范大学西安科技大学更多>>
相关期刊：《Chinese Quarterly Journal of Mathematics》《模糊系统与数学》《工程数学学报》《计算机工程与应用》更多>>
相关基金：国家自然科学基金湖南省自然科学基金国家教育部博士点基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Quantales上的导子
《湖南大学学报（自然科学版）》2012年第8期87-89,共3页肖旗梅 李庆国 
国家自然科学基金资助项目(11071061)
在Quantales理论中引入导子的概念,探讨了Quantales中运算&的性质,并研究了左(右,双)侧元导子的包含关系,最后讨论了简单导子的相应性质.
关键词：计算科学 QUANTALE 导子 左(右 双)侧元 子Quantale 理想 简单导子 
双Quantales模中的张量积
《计算机工程与应用》2012年第9期30-32,共3页梁少辉 韩胜伟 
国家自然科学基金(No.11001158;71103143);西安科技大学博士启动基金资助项目(No.2010QDJ024);西安科技大学培育基金资助项目(No.2010041)
在双Quantales模中引入了双Quantales模双同态的概念,在完备格张量积的基础上,得到了双Quantales模张量积的具体形式,讨论了双Quantales模张量积的一些重要性质。
关键词：QUANTALES 双Quantales模 双同态 张量积 
The Connectedness of Quantales
《Chinese Quarterly Journal of Mathematics》2009年第2期303-309,共7页WANG Shun-qin ZHAO Bin 
Supported by the National Natural Science Foundation of China（10871121）; Supported by the Research Award for Teachers in Nangyang Normal University（nynu200749）
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...
关键词：complete lattice QUANTALE connectedness regular Quantale 
Girard Subquantales
《工程数学学报》2007年第3期567-570,共4页龙飞 李庆国 
湖南省自然科学基金(04JJ6011).
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给...
关键词：对偶子 Girard QUANTALES “ ”运算 
Quantale上代数余核的一点注记(英文)
《湖南城市学院学报（自然科学版）》2006年第1期29-31,共3页龙飞 肖劲松 
National Nature Science Foundation of China(10471035)
研究了代数余核的某些性质,同时亦探讨了代数余核与子Quantales之间的联系.
关键词：QUANTALES 子quantales 代数余核 
右稳定的子Quantales被引量：6
《湖南大学学报（自然科学版）》2006年第1期134-136,共3页龙飞 李庆国 
湖南省自然科学基金资助项目(04JJ6011)
作为S-素元的推广,本文引入了右稳定元概念,并证明了在一定条件下,S右稳定元是S-素元;在研究右稳定元构成的子Quantale性质的同时,对右稳定的子Quantale作了精确刻画.
关键词：右稳定 子Quantale余核 
Quantales的代数余核和子Quantales
《模糊系统与数学》2005年第3期88-91,共4页龙飞 李庆国 
国家自然科学基金资助项目(10471035);高等学校博士点基金资助项目
在研究代数余核的一些性质的基础上,得到了Quantales的映射构成代数余核的条件;同时证明了由wellinside关系生成的某种集是子Quantale.
关键词：Quantales代数余核 WELL INSIDE 子Quantales 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部