期刊文献+

Quantale中的核映射

Nuclei of the Quantale
下载PDF
导出
摘要 在Quantale中引入了c-核映射及r-核映射,给出了c-核映射的刻划,证明了在一定条件下c-核映射和r-核映射是等价的;最后讨论了Quantale中的闭滤子与c-闭集之间的关系. It was introduced the concepts of c-nuclei and r-nuclei, the characterization of c-nuclei was given. By the relation of c-closed set and closed upper set, it was proved that c-nuclei and r-nuclei would be equiva- lent under some conditions. At last, the relation between closed filter and c-closed set was discussed.
作者 刘智斌
出处 《浙江师范大学学报(自然科学版)》 CAS 2007年第4期389-394,共6页 Journal of Zhejiang Normal University:Natural Sciences
基金 浙江省教育厅资助项目(20060500)
关键词 QUANTALE c-核映射 r-核映射 闭滤子 Quantale c-nuclei r-nuclei closed filter
  • 相关文献

参考文献10

  • 1Mulvey C J,Pelletier J W.On the quantisation of point[J].J Pure Appl Algibra,2001,159 (2/3):231-295.
  • 2Ward M.Structure residuation[J].Ann Math,1938,39(4):558-569.
  • 3Ward M,Dilworth R P.Residuated lattices[J].Trans Amer Math Soc,1939,45(3):335-354.
  • 4Dilworth R P.Noncommutative residuated lattices[J].Trans Amer Math Soc,1939,46(4):426-444.
  • 5Niefield S,Rosenthal K.Strong de Morgan's law and the spectrum of a commutative ring[J].J Algebra,1985,93 (2):169-181.
  • 6Niefield S,Rosenthal K.Ideals of closed categories[J].J Pure Appl Algibra,1988,51 (3):293-304.
  • 7Girard J Y.Linear logic[J].Theoret Comp Sci,1987,50 (1):1-102.
  • 8Li Yongming,Li Zhihui.Quantales and process semantics of bisimulation[J].Acta Math Sinica,1999,42 (3):313-320.
  • 9Resende P.Quantales,finite observations and strong bisimulation[J].Theoret Comp Sci,2001,254(1/2):95-149.
  • 10Rosenthal K.Quantales and their Application[M].New York:Longmann Scientific and Technical,1991.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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