期刊文献+

Quantale上的基 被引量:4

Basis on Quantale
在线阅读 下载PDF
导出
摘要 研究了子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.
出处 《计算机工程与应用》 CSCD 北大核心 2010年第9期31-32,37,共3页 Computer Engineering and Applications
基金 国家自然科学基金(No.10871121) 陕西师范大学博士基金项目(No.999333)~~
关键词 完备格 QUANTALE 子Quantale 余核映射 稠密子集 complete lattice Quantale subquantale conucleus dense subset basis
作者简介 韩胜伟(1977-),男,博士,主要研究方向:格上拓扑与模糊推理;E—mail:hansw@snnu.edu.cn 潘芳芳(1978-),女,教师,主要研究方向:代数理论。
  • 相关文献

参考文献7

  • 1Rosenthal K I.Quantales and their application[M].New York:Longman Scientific and Technical, 1990.
  • 2Rosenthal K I.A general approach to Gabriel filters on Quantales[J]. Communications in Algebra, 1992,20( 11 ) : 3393-3409.
  • 3Resende P.Quantales,finite observations and strong bisimulation[J]. Theoretical Computer Science,2001,25g:95-149.
  • 4李永明.非可换线性逻辑及其Quantale语义[J].陕西师范大学学报(自然科学版),2001,29(2):1-5. 被引量:15
  • 5王顺钦,赵彬.Girard quantale的若干性质[J].陕西师范大学学报(自然科学版),2007,35(2):10-13. 被引量:6
  • 6Yetter D.Quantales and (noncommutative)linear logic [J].Joumal of Symbolic Logic, 1990,55:41-64.
  • 7韩胜伟,赵彬.单纯Quantale及其Quantale商[J].模糊系统与数学,2005,19(4):28-33. 被引量:10

二级参考文献19

  • 1王顺钦,赵彬.Prequantale同余及其性质[J].数学进展,2005,34(6):746-752. 被引量:12
  • 2黄且圆,王驹.线性逻辑相空间的分层结构[J].数学学报(中文版),1997,40(1):1-4. 被引量:1
  • 3Mulvey C J.&[J].Rend.Circ.Mat.Palermo Ser.(2)Suppl.,1986,12:99~104.
  • 4Rosenthal K I.Quantales and their applications[M].London:Longman Scientific and Technical,1990.
  • 5Rosenthal K I.A general approach to Gabriel filters on Quantales[J].Communications in Algebra,1992,20(11):3393~3409.
  • 6Brown C,Gurr D.A representation theorem for Quantales[J].Journal of Pure and Applied Algebra,1993,85:27~42.
  • 7Resende P.Quantales,finite observations and strong bisimulation[J].Theoretical Computer Science,2001,254:95~149.
  • 8Berni-Canani U,Borceux F,Succi-Cruciani R.A theory of Quantale sets[J].Journal of Pure and Applied Algebra,1989,62:123~136.
  • 9Paseka J,Kruml D.Embeddings of Quantales into simple Quantales[J].Journal of Pure and Applied Algebra,2000,148:209~216.
  • 10Pelletier J W,Rosicky J.Simple involutive quantales[J].Journal of Algebra,1997,195:367~386.

共引文献23

同被引文献31

引证文献4

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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