计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (28): 49-50.DOI: 10.3778/j.issn.1002-8331.2010.28.014

• 研究、探讨 • 上一篇    下一篇

完备剩余格上的蕴涵闭包算子

于 海,詹婉荣   

  1. 洛阳师范学院 数学科学学院,河南 洛阳 471022
  • 收稿日期:2009-06-22 修回日期:2009-08-03 出版日期:2010-10-01 发布日期:2010-10-01
  • 通讯作者: 于 海

Implicative closure operators on complete residuated lattices

YU Hai,ZHAN Wan-rong   

  1. College of Mathematics and Science,Luoyang Normal College,Luoyang,Henan 471022,China
  • Received:2009-06-22 Revised:2009-08-03 Online:2010-10-01 Published:2010-10-01
  • Contact: YU Hai

摘要: 利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。

关键词: 剩余格, 完备剩余格, 闭包算子, 蕴涵闭包算子

Abstract: By means of implication operation,implicative closure operators are defined on complete residuated lattices.Some equivalent characterizations and the representation theorem are given.

Key words: residuated lattice, complete residuated lattice, closure operator, implicative closure operator

中图分类号: