您的位置： 专家智库 > >

湖南省自然科学基金(04JJ6011)

作品数：2 被引量：7H指数：1
相关作者：李庆国龙飞更多>>
相关机构：湖南大学更多>>
发文基金：湖南省自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇理学

主题

  • 2篇QUANTA...
  • 1篇对偶
  • 1篇余核
  • 1篇QUANTA...

机构

  • 2篇湖南大学

作者

  • 2篇龙飞
  • 2篇李庆国

传媒

  • 1篇湖南大学学报...
  • 1篇工程数学学报

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Girard Subquantales
2007年
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给出了Girard quantales的Sub- quantales亦是Girard quantales的充分条件。
龙飞李庆国
关键词：QUANTALES
右稳定的子Quantales被引量：7
2006年
作为S-素元的推广,本文引入了右稳定元概念,并证明了在一定条件下,S右稳定元是S-素元;在研究右稳定元构成的子Quantale性质的同时,对右稳定的子Quantale作了精确刻画.
龙飞李庆国
全选 清除 导出
共1页<1>
聚类工具0