期刊文献+

Quantic格上的同态定理 被引量:5

The homomorphism theorem on Quantic lattices
下载PDF
导出
摘要 研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj≌Q. The interior operations of a quantic lattice Q are discussed and it is proved that a sufficient and necessary condition for the binary operation & to be associative is a&b→c=a→(b→c) for all a,b,c∈Q.The relations between quotient quantic lattices and nuclei in a quantic lattice are discussed.At last,a homomorphism theorem is given,which says that if f: P→Q is a surjective homomorphism between quantic lattices,then there is a nucleus j in P such that Pj≌Q.
作者 王顺钦 赵彬
出处 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期5-8,12,共5页 Journal of Shaanxi Normal University:Natural Science Edition
基金 国家自然科学基金资助项目(10871121) 南阳师范学院博士基金资助项目(nynu200749) 南阳市科技攻关项目(2008SF604)
关键词 完备格 Quantic格 同态定理 核映射 complete lattice quantic lattice homomorphism theorem nucleus
  • 相关文献

参考文献10

  • 1Ward M, Dilworth R P. Residuated lattices[J]. Transactions of the American Mathematical Society, 1939, 45 (3) : 335-354.
  • 2Kalmbach G. Orthomodular lattices[M]. London: Academic Press, 1983. :102-103.
  • 3Finch P D. Quantum logic as an implication algebra[J]. Bulletin of the Australian Mathematical Society, 1970,6 (2): 101-106.
  • 4Mulvey C J.&[J]. Supplementoai Rendiconti del Circolo Matematieo di Palermo Serie II, 1986, 12- 99-104.
  • 5李永明.非可换线性逻辑及其Quantale语义[J].陕西师范大学学报(自然科学版),2001,29(2):1-5. 被引量:15
  • 6王顺钦,赵彬.Girard quantale的若干性质[J].陕西师范大学学报(自然科学版),2007,35(2):10-13. 被引量:6
  • 7Paseka J. Projective quantales: A general view[J]. International Journal of Theoretical Physics, 2008, 47(1) : 291-296.
  • 8韩胜伟,赵彬.序半群的Quantale完备化[J].数学学报(中文版),2008,51(6):1081-1088. 被引量:14
  • 9刘智斌.Quantale中的闭滤子[J].数学进展,2006,35(6):670-676. 被引量:1
  • 10Roman L, Rumbos B. Quantic lattices[J]. International Journal of Theoretical Physics, 1991, 30 (12) 1 555-1 563.

二级参考文献30

  • 1王顺钦,赵彬.Prequantale同余及其性质[J].数学进展,2005,34(6):746-752. 被引量:12
  • 2黄且圆,王驹.线性逻辑相空间的分层结构[J].数学学报(中文版),1997,40(1):1-4. 被引量:1
  • 3Mulvey C. J., &, Rendiconti del circolo matematico di palermo, Serie Ⅱ. Supplemento, 1986, 12: 99-104.
  • 4Rosenthal K. I., Quantales and their applications, New York: Longman Scientific and Technical, 1990.
  • 5Rosenthal K. I., A general approach to Gabriel filters on Quantales, Communications in Algebra, 1992, 20(1): 3393-3409.
  • 6Abramaky S., Vickers S., Quantales, obervational logic, and process semantics, Mathematical Structures in Computer Science, 1993, 3(2): 161-227.
  • 7Resende P., Quantales, finite observations and strong bisimulation, Theoretical Computer Science, 2001, 254(1-2): 95-149.
  • 8Pelletier J. W., Rosicky J., Simple involutive quantales, Journal of Algebra, 1997, 195(2): 367-386.
  • 9Xie X. Y., Wu M. F., Fuzzy theory of semigroup, Beijing: Science Press, 2005
  • 10Birkhoff G., Lattice theory, Rhode Island: American Mathematical Society Colloguium Publications Province, 1940.

共引文献29

同被引文献37

引证文献5

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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