期刊文献+

Quantale中的理想 被引量:13

Ideal of Quantale
下载PDF
导出
摘要 给出了Quantale中(左,右)理想的概念,讨论了Quantale中任意子集生成的(左,右)理想的具体结构,研究了Quantale中的理想与它的格意义下理想之间的关系.得到了当Q是可换Quantale时,Id(Q)中元是幂等的充要条件. A(left, right)ideal of the Quantale Q is introduced and the concrete structure of the (left, right)ideal generated by a given set is considered. The relation between the ideal of a Quantale Q and the ideal of the lattice Q is studied, A necessary and sufficient condition that a element of Id(Q) is idempotent is obtained, if the Quantale Q is commutative. 
作者 王顺钦 赵彬
出处 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第4期7-10,共4页 Journal of Shaanxi Normal University:Natural Science Edition
基金 高等学校优秀青年教师教学科研奖励计划资助项目(教人司[2000]26号) 国家自然科学基金资助项目(10271069)
关键词 QUANTALE 理想 充要条件 核映射 格结构 Quantale ideal nucleus
  • 相关文献

参考文献2

二级参考文献11

  • 1Robin Milner,李舟军,刘海燕.交互作用之基础[J].计算机科学,1994,21(3):1-8. 被引量:2
  • 2郑崇友 樊磊 等.连续格与frame(第2版)[M].北京:首都师范大学出版社,2000..
  • 3李永明.Locale的函数空间与逻辑语义.四川联合大学博士学位论文,5(第五章:Quantale与强双模拟进程语义[M].,1996..
  • 4李永明,博士学位论文,1996年
  • 5Mimer R,计算机科学,1994年,21卷,3期,1页
  • 6郑崇友,Frame与连续格,1994年
  • 7Li Yongming,Inform Sci,2000年,124卷,4期,317页
  • 8王国俊,非经典数理逻辑与近似推理,2000年
  • 9郑崇友,连续格与frame(第2版),2000年
  • 10李永明,李志慧.Quantale与互模拟的进程语义[J].数学学报(中文版),1999,42(2):313-320. 被引量:18

共引文献27

同被引文献62

引证文献13

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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