期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Girard Quantale中的算子

Operators in Girard Quantales
在线阅读 下载PDF
导出
摘要 讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算. In this paper,the interior structure of Girard Quantales is studied.Some properties and relationes of the operators are discussed in Girard Quantales.At last,we prove that any a binary operator and the unary operator together can define the five other binary operators.
作者 王顺钦
机构地区 南阳师范学院数学与统计学院
出处 《南阳师范学院学报》 CAS 2010年第12期1-3,共3页 Journal of Nanyang Normal University
基金 国家自然科学基金资助项目(60904041) 河南省基础与前沿项目(102300410145) 南阳师范学院项目(nynu200749)
关键词 完备格 QUANTALE Girard QUANTALE 算子 complete lattice Quantale Girard Quantale operator
分类号 O153.1 [理学—基础数学]
  • 相关文献

参考文献10

  • 1Rosenthal I.Quantales and their applications[M].London:Longman Scientific & Technical,1990.
  • 2Girard J Y.Linear Logic[J].Theor.Comp.Sci.,1987,50:1-102.
  • 3Dilworth R P.Non-commutative residuated lattices[J].Trams.Amer.Math.Soc.,1939,46:426-444.
  • 4Ward M.Structure residuntion[J].Ann.Math.,1938,39:558-569.
  • 5Ward M and Dilworth R P.Residuated lattices[J].Trans.Amer.Math.Soc.,1939,45:335-354.
  • 6Mulvey C J.&[J].Suppl.Rend.Circ.Mat.Palermo Ser.Ⅱ,1986,12:99-104.
  • 7李永明,李志慧.Quantale与互模拟的进程语义[J].数学学报（中文版）,1999,42(2):313-320. 被引量：18
  • 8王顺钦,赵彬.Prequantale同余及其性质[J].数学进展,2005,34(6):746-752. 被引量：12
  • 9刘智斌,赵彬.Quantale范畴的代数性[J].数学学报（中文版）,2006,49(6):1253-1258. 被引量：13
  • 10Xu Y,Ruan D,Qin K Y,Liu J.Lattice-valued logic[M].Heideberg:Spring-Verlag Berlin Heideberg,2003.

二级参考文献27

  • 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年
  • 6Rosenthal K I. A general approach to Gabriel filters on quantales [J]. Communications in Algebra, 1992,20(11): 3393-3409.
  • 7Brown C, Gurr D. A representation theorem for quantales [J]. Journal of Pure and Applical Algebra,1993, 85: 27-42.
  • 8Resende P. Quantales, finite observations and strong bisimulation [J]. Theoretical Computer Science,2001, 254: 95-149.
  • 9Lambek J. Categorial and categorial grammars, in Categorial Grammars and Natural Language Structures [D]. ed. R. T. Oehrle et al. 1988, 297-317.
  • 10Joyal A, Tierney M. An extension of the Galois theory of Grothencheck [D]. Men. Amer. Math. Soc.,1984, 309.

共引文献34

南阳师范学院学报
2010年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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