期刊文献+

Quantale上的Boolean子代数 被引量:1

The Boolean sub-algebra on Quantales
下载PDF
导出
摘要 给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系. In this paper, the concept of Boolean sub-algebra on Quantales was introduced, some properties of Boolean sub-algebras were discussed. In the meantime, the definitions of left (right) -preserves and left (right) - annihilator were given, the relation between the least left-preservers and the greatest left-annihilator restricted to the complete Boolean sub-algebra was discussed.
出处 《南阳师范学院学报》 CAS 2008年第12期8-9,共2页 Journal of Nanyang Normal University
基金 西安邮电学院校青年基金项目 南阳师范学院博士基金(nynu200749)
关键词 QUANTALE Boolean子代数 左保持元 左零化子 Quantale Boolean sub-algebra left-preserves left-annihilator
  • 相关文献

参考文献5

二级参考文献11

  • 1黄且圆,王驹.线性逻辑相空间的分层结构[J].数学学报(中文版),1997,40(1):1-4. 被引量:1
  • 2Rosenthal K I. A general approach to Gabriel filters on quantales [J]. Communications in Algebra, 1992,20(11): 3393-3409.
  • 3Brown C, Gurr D. A representation theorem for quantales [J]. Journal of Pure and Applical Algebra,1993, 85: 27-42.
  • 4Resende P. Quantales, finite observations and strong bisimulation [J]. Theoretical Computer Science,2001, 254: 95-149.
  • 5Lambek J. Categorial and categorial grammars, in Categorial Grammars and Natural Language Structures [D]. ed. R. T. Oehrle et al. 1988, 297-317.
  • 6Joyal A, Tierney M. An extension of the Galois theory of Grothencheck [D]. Men. Amer. Math. Soc.,1984, 309.
  • 7Rosenthal K I. Quantales and Their Applications [M]. Longman Scientific & Technical, 1990.
  • 8Vermeulen J J C. Proper maps of locales [J]. Journal of Pure and Applied Algebra, 1994, 92: 79-107.
  • 9Yetter D N. Quantales and (noncommutative) linear logic [J]. The Journal of Symbolic Logic, 1990, 55(1):41-64.
  • 10Herrlich H, Strecker G E. Category Theory [M]. Heldermann Verlag, Berlin, 1979.

共引文献20

同被引文献6

  • 1YETIER D. Quantales and (noncommutative) linear logic[J]. The Journal of Symbolic Logic,1990,55 ( 1 ) :41-64.
  • 2GIRARD J Y. Linear logic [ J ]. Theoretical Computer Science, 1987,50 ( 1 ) : 1-102.
  • 3PASEKA J,KRUML D. Embeddlngs of quantales into simple quantales [ J ]. Journal of Pure and Applied ALgebra, 2000,148 (2) :209-216.
  • 4ROSENTHAL K I. Quantales and their applications [ M ]. London:Longman Scientific and Technical, 1990.
  • 5李海霞,张修彦,吴洪博.BR_0代数的Fuzzy理想与Fuzzy素理想[J].纺织高校基础科学学报,2008,21(1):1-3. 被引量:4
  • 6李永明.非可换线性逻辑及其Quantale语义[J].陕西师范大学学报(自然科学版),2001,29(2):1-5. 被引量:15

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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