期刊文献+

关于可除剩余格的构造 被引量:2

A note on divisible residuated lattices
原文传递
导出
摘要 对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓a={x∈L | x≤a}成为一个可除剩余格L_a.进一步有,如果L是预线性的或者广义MV-代数,则L_a亦是. Let L be a divisible residuated lattice. It is shown that for each a E L, there is a natural way to make the lattice {x∈L|x≤a} into a divisible residuated lattice L.. Furthermore, if L is prelinear (a generalized MV-algebra) then so is La.
作者 蒲强 张德学
出处 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第5期985-989,共5页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金(11071174)
关键词 剩余格 可除 预线性 广义MV-代数 residuated lattice, divisible, prelinear, generalized MV-algebra
  • 相关文献

参考文献17

  • 1Hcijek P. Metamathematics of fuzzy logic[M]. Trends in Logic, Vol. 4. Dordrecht. Kluwer Academic Publishers, 1998.
  • 2Hhjek P. Observations on non-commutative fuzzy logic[J]. Soft Computing, 2003, 8: 38.
  • 3Hcljek P. Fuzzy logics with noneommutative conjunctions [J]. Journal of Logic and Computation, 2003, 13: 469.
  • 4Cignoli R, DOttaviano I M L, Mundici D. Algebraicfoundations of many valued reasoning[M]. Dordreeht: Kluwer Academic Publishers, 1998.
  • 5Galatos N, Jipsen P, Kowalski T, Ono H. Residuat- ed lattices, an algebraic glimpse at substructural log- ics[M]. New York.. Elsevier, 2007.
  • 6Stout L N. Categorical approach to non-commutative fuzzy logic[J]. Fuzzy Sets and Systems, 2010, 161: 2462.
  • 7Galatos N, Tsinakis C. Generalized MV -algebras [J]. Journal of Algebra, 2005, 283: 254.
  • 8Jipsen P, Tsinakis C. A survey of residuated lattices [C]//Martinez J. Ordered Algebraic Structures. Dordreeht/Singapore: Kluwer Academic Publishers, 2002.
  • 9Flondor P, Georgescu G, Iorguleseu A. Pseudo-t- norms and pseudo-BL-algebras[J]. Soft Computing 2001, 5: 355.
  • 10Georgescu G, Iorgulescu A. Pseudo-MV-Algebras [J]. Multiple-Valued Logic, 2001, 6: 95.

二级参考文献8

  • 1Edalat A, Heckmann R. A Computational model for metric spaces [J]. Theoretical Computer Science, 1998, 193: 53.
  • 2Heckmann R. Approximation of metric spaces by partial metric spaces[J]. Applied Categorical Struttures, 1999, 7: 71.
  • 3Belohlavek R. Fuzzy relational systems, foundations and principles[M]. NewYork: Kluwer Academic/ Plenum Publishers, 2002.
  • 4Lai H, Zhang D. Complete and directed complete-Ω- categories[J]. Theoretical Computer Science, 2007, 388 :1.
  • 5Lai H, Zhang D. Many-valued complete distributivity[EB/OL], arXiv: math. CT/0603590, 2006.
  • 6Lai H, Zhang D. Fuzzy preorder and fuzzy topology [J]. Fuzzy Sets and Systems, 2006, 157: 1865.
  • 7Lawvere F W. Metric spaces, generalized logic, and closed categories[J]. Rend Sem Mat Fis Milano, 1973, 41: 135.
  • 8Stubbe I. Categorical structures enriched in a quantaloid: tensored and eotensored categories[J]. Theory and Applications of Categories, 2006, 16:283.

共引文献1

同被引文献25

  • 1裴道武.MTL代数的特征定理[J].数学学报(中文版),2007,50(6):1201-1206. 被引量:27
  • 2Yan P F. Hereditary covering properties and selec- tion theory [J]. Chinese Journal of Contemporary Mathematics, 2014, 35A(2):153.
  • 3Xie L H. The insertions of semicontinuous functionsand strafiable spaces[D]. Jiangmen.. Wuyi Univer- sity, 2010.
  • 4Yan P F, Yang E G. Semi-strtifiable spaces and the insertion of semi-continuous functions[J]. J Math Anal Appl, 2007, 328: 429.
  • 5Yamazaki K. Locally bounded set-valued mappings and monotone countable paracompactness[J], To- pology Appl, 2007, 154.. 2817.
  • 6Good C, Knight R, Stares I. Monotone countable paracompactness [ J ]. Topology Appl, 2000, 101 : 281.
  • 7Wu L S. About k-semistratifiable spaces[J].苏州大学学报,1986,4:47.
  • 8Peng L X, Lin S. On monotone spaces and matriza- tion theorems [ J ]. Acta Math Sinica, 2003, 46: 1225.
  • 9Creede G D. Semi-stratifiable[C]//Proc Arizona State Univ Topological Conf, 1967, 1969: 318.
  • 10Borges C R. On stratifiable space[J]. Pacific Jour- nal of Mathematics, 1966, 17: 1.

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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