计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (31): 43-44.DOI: 10.3778/j.issn.1002-8331.2010.31.012

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

完备剩余格上的蕴涵闭包系统

于 海,詹婉荣   

  1. 洛阳师范学院 数学科学学院,河南 洛阳 471022
  • 收稿日期:2010-01-09 修回日期:2010-05-14 出版日期:2010-11-01 发布日期:2010-11-01
  • 通讯作者: 于 海

Implicative closure systems on complete residuated lattices

YU Hai,ZHAN Wan-rong   

  1. College of Mathematics and Science,Luoyang Normal College,Luoyang,Henan 471022,China
  • Received:2010-01-09 Revised:2010-05-14 Online:2010-11-01 Published:2010-11-01
  • Contact: YU Hai

摘要: 在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。

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

Abstract: The concept of implicative closure systems is introduced on complete residuated lattices.The relations between implicative closure systems and closure systems are discussed.Some properties and the representation theorem of implicative closure systems are given.Moreover,the relations between implicative closure operators and implicative closure systems are investigated.

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

中图分类号: