期刊文献+

Q-值下集Quantale

The Q-Valued Lower-Set Quantales
下载PDF
导出
摘要 该文主要研究Q-值下集Quantale,它可以看作是下集Quantale的一般形式.首先证明了序半群范畴与超凝聚式Quantale范畴是等价的;其次证明了Q-值下集Quantale F_(Q)(S)本质上就是下集Quantale D(S)和Quantale Q的张量积. The main work of this paper is to investigate Q-valued lower-set Quantales,which can be regarded as a generalization of lower-set Quantales.Firstly,it is proved that the category of ordered semigroups is equivalent to the category of supercoherent Quantales.Then,it is proved that Q-valued lower-set Quantales are essentially the tensor product of lower-set Quantales and Quantale Q.
作者 潘芳芳 覃锋 PAN Fangfang;QIN Feng(School of Science,Xi′an University of Posts and Telecommunications,Xi′an Shanxi 710121,China;School of Mathematics and Statistics,Jiangxi Normal University,Nanchang Jiangxi 330022,China)
出处 《江西师范大学学报(自然科学版)》 CAS 北大核心 2024年第1期17-20,共4页 Journal of Jiangxi Normal University(Natural Science Edition)
基金 国家自然科学基金(12371459,11971210,61967008) 江西省自然科学基金(20232ACB201002)资助项目.
关键词 QUANTALE 超凝聚式Quantale Q-值下集Quantale 张量积 Quantale supercoherent Quantale Q-valued lower-set Quantale tensor product
  • 相关文献

参考文献1

二级参考文献11

  • 1Mulvey C. J., &, Rendiconti del circolo matematico di palermo, Serie Ⅱ. Supplemento, 1986, 12: 99-104.
  • 2Rosenthal K. I., Quantales and their applications, New York: Longman Scientific and Technical, 1990.
  • 3Rosenthal K. I., A general approach to Gabriel filters on Quantales, Communications in Algebra, 1992, 20(1): 3393-3409.
  • 4Abramaky S., Vickers S., Quantales, obervational logic, and process semantics, Mathematical Structures in Computer Science, 1993, 3(2): 161-227.
  • 5Resende P., Quantales, finite observations and strong bisimulation, Theoretical Computer Science, 2001, 254(1-2): 95-149.
  • 6Pelletier J. W., Rosicky J., Simple involutive quantales, Journal of Algebra, 1997, 195(2): 367-386.
  • 7Xie X. Y., Wu M. F., Fuzzy theory of semigroup, Beijing: Science Press, 2005
  • 8Birkhoff G., Lattice theory, Rhode Island: American Mathematical Society Colloguium Publications Province, 1940.
  • 9Girard J. Y., Linear logic, Theoretical Computer Science, 1987, 50(1): 1-102.
  • 10Yetter D., Quantales and noncommutative linear logic, Journal of Symbolic Logic, 1990, 55(1): 41-64.

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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