期刊文献+

对偶Quantale及其性质 被引量:11

Dual Quantale and their properties
下载PDF
导出
摘要 提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale中的布尔代数 . The notion of dual quantale is introduced,the properties and constructions of dual quantales are studied. Using the notions of quantale nucleus operator and quantale co nucleus operator, the complete constructions of dual quantale quotients and some special open modalities for any given quantale are given. It is indicated that dual quantales are just noncommutative Boolean algebra in the field of noncommutative quantales.
作者 李永明
出处 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第1期1-5,共5页 Journal of Shaanxi Normal University:Natural Science Edition
基金 国家自然科学基金!资助项目 ( 1990 10 2 8)
关键词 对偶quantale商 开模态词 布尔代数 余nucleus算子 完备格 弱循环元 对偶元 quantale dual quantale dual quantale quotient open modality.
  • 相关文献

参考文献5

  • 1郑崇友 樊磊 等.连续格与frame(第2版)[M].北京:首都师范大学出版社,2000..
  • 2李永明,李志慧.Quantale与互模拟的进程语义[J].数学学报(中文版),1999,42(2):313-320. 被引量:18
  • 3Li Yongming,Inform Sci,2000年,124卷,4期,317页
  • 4王国俊,非经典数理逻辑与近似推理,2000年
  • 5郑崇友,连续格与frame(第2版),2000年

二级参考文献6

  • 1Robin Milner,李舟军,刘海燕.交互作用之基础[J].计算机科学,1994,21(3):1-8. 被引量:2
  • 2李永明.Locale的函数空间与逻辑语义.四川联合大学博士学位论文,5(第五章:Quantale与强双模拟进程语义[M].,1996..
  • 3李永明,博士学位论文,1996年
  • 4Mimer R,计算机科学,1994年,21卷,3期,1页
  • 5郑崇友,Frame与连续格,1994年
  • 6肖育东.并发进程模型CSP与CCS[J].计算机科学,1991,18(6):24-30. 被引量:1

共引文献17

同被引文献58

引证文献11

二级引证文献81

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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