期刊文献+

子Z-Quantale及其性质

Sub-Z-Quantales and their properties
原文传递
导出
摘要 首先引入子Z-Quantale的概念,研究子Z-Quantale的一些性质。特别地,构造单位Z-Quantale的所有含有单位元的子Z-Quantale集上的二元运算⊙,使得其成为Quantale。其次,定义并子Z-Quantale,证明有最大(小)元的Z-Quantale的并子Z-Quantale一定有最大(小)元。最后,引入Z-Quantale上余核映射的概念,证明Z-Quantale上的并子Z-Quantale与其上的余核映射是一一对应的。 Firstly,the concept of the sub-Z-Quantales is introduced and some properties of sub-Z-Quantales are studied.In particular,the binary operation⊙on the set of all sub-Z-Quantales of a unital Z-Quantale containing the identity element is constructed such that the set is a Quantale.Secondly,the definition of join sub-Z-Quantales is given,and it is proved that every join sub-ZQuantale of a Z-Quantale with a maximum(minimum)element has a maximum(minimum)element.Finally,the concept of conuclei on Z-Quantales is introduced,and it is proved that the join sub-Z-Quantales and conuclei on a Z-Quantale are one-to-one correspondence.
作者 王玲 赵彬 WANG Ling;ZHAO Bin(School of Mathematics and Statistics,Shaanxi Normal University,Xi'an 710119,Shaanxi,China)
出处 《山东大学学报(理学版)》 CAS CSCD 北大核心 2024年第6期76-83,共8页 Journal of Shandong University(Natural Science)
基金 国家自然科学基金资助项目(12101383)。
关键词 Z-Quantale 子Z-Quantale 余核映射 Z-Quantale sub-Z-Quantale conucleus
  • 相关文献

参考文献6

二级参考文献50

  • 1Robin Milner,李舟军,刘海燕.交互作用之基础[J].计算机科学,1994,21(3):1-8. 被引量:2
  • 2李永明.Locale的函数空间与逻辑语义.四川联合大学博士学位论文,5(第五章:Quantale与强双模拟进程语义[M].,1996.. 被引量:1
  • 3Mulvey C. J., &, Rendiconti del Circolo Matematico di Palermo, Serie H. Supplemento, 1986, 12(2): 99-104. 被引量:1
  • 4Mulvey C. J., Pelletier J. W., On the quantisation of point, Journal of Pure and Applied Algebra, 2001, 159: 231-295. 被引量:1
  • 5Johnstone P. T., Stone Spaces, Cambridge: Cambridge University Press, 1982. 被引量:1
  • 6Niefield S., Rosenthal K. I., Strong De Morgan's law and the spectrum of a commutative ring, Journal of Algebra, 1985, 93: 169-181. 被引量:1
  • 7Nawaz M., Quantales, Quantale Sets, Sessex: University of Sussex, 1985. 被引量:1
  • 8Coniglio M. E., Miraglia F., Non-commutative topology and quantale, Studia Logica, 2000, 65(12): 223-236. 被引量:1
  • 9Girard J. Y., Linear logic, Theoretical Computer Science, 1987, 50(1): 1-102. 被引量:1
  • 10Abramsky S., Vickers S., Quantale, observational logic and process semantics, Mathematical Structures in Computer Science, 1993, 3(2): 161-227. 被引量:1

共引文献35

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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