期刊文献+

Quantale上的δ结构和τ结构 被引量:1

The δ-structure and τ-structure on quantales
下载PDF
导出
摘要 引入了Quantale上的δ结构和ρ结构的概念,并且讨论了δ结构和ρ结构的一系列性质;同时也给出了Quantale上的τ结构和σ结构的概念,证明了Qantale上的δ结构和τ结构以及ρ结构和σ结构之间可以互相确定. The concepts of δ-structure and ρ-structure were introduced and some properties of them were studied. In the meantime, the definitions of τ-structure and σ-structure were given, it was proved that the relationship between δ-structure and τ-structure and that between ρ-structure and σ-structure can be determined in each other.
出处 《纺织高校基础科学学报》 CAS 2009年第2期144-148,共5页 Basic Sciences Journal of Textile Universities
基金 国家自然科学基金(10871121) 陕西师范大学博士基金项目(999333)
关键词 QUANTALE δ结构 ρ结构 τ结构 quantale δ-structure ρ-structure τ-structure
  • 相关文献

参考文献7

  • 1YETIER D. Quantales and (noncommutative) linear logic[J]. The Journal of Symbolic Logic,1990,55 ( 1 ) :41-64.
  • 2李永明.非可换线性逻辑及其Quantale语义[J].陕西师范大学学报(自然科学版),2001,29(2):1-5. 被引量:15
  • 3GIRARD J Y. Linear logic [ J ]. Theoretical Computer Science, 1987,50 ( 1 ) : 1-102.
  • 4PASEKA J,KRUML D. Embeddlngs of quantales into simple quantales [ J ]. Journal of Pure and Applied ALgebra, 2000,148 (2) :209-216.
  • 5李海霞,张修彦,吴洪博.BR_0代数的Fuzzy理想与Fuzzy素理想[J].纺织高校基础科学学报,2008,21(1):1-3. 被引量:4
  • 6潘芳芳,王顺钦.Quantale上的Boolean子代数[J].南阳师范学院学报,2008,7(12):8-9. 被引量:1
  • 7ROSENTHAL K I. Quantales and their applications [ M ]. London:Longman Scientific and Technical, 1990.

二级参考文献12

共引文献17

同被引文献13

  • 1Christopher J. Mulvey,Joan Wick Pelletier.On the quantisation of points[J]. Journal of Pure and Applied Algebra . 2001 (2)
  • 2Samson Abramsky,Steven Vickers.Quantales, observational logic and process semantics[J]. Mathematical Structures in Computer Science . 1993 (2)
  • 3Yetter DN.Quantales and (noncommutative) linear logic. Journal of Symbolic Logic . 1990
  • 4Kimmo I Rosenthal.Quantales and their applications. New York: Longman Scientific & Technical . 1990
  • 5NAWAZ M.Quantales:Quantale sets. . 1985
  • 6Morgan Ward,R. P. Dilworth.??Residuated lattices(J)Transactions of the American Mathematical Society . 1939 (3)
  • 7Girard JY.Linear logic. Theoretical Computer Science . 1987
  • 8R. P. Dilworth.??Non-commutative residuated lattices(J)Transactions of the American Mathematical Society . 1939
  • 9M. Ward.Structure residuation. Annals of Mathematics . 1938
  • 10S. B. Niefield,K. I. Rosenthal.Strong De Morgan’s law and the spectrum of a commutative ring. Journal of Algebra . 1985

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部