Boolean filters and positive implicative filters of residuated lattices

被引:87
作者
Lianzhen, Liu [1 ]
Kaltai, Li
机构
[1] Jiangnan Univ, Coll Sci, Wuxi 214122, Peoples R China
[2] Xi An Jiao Tong Univ, Coll Sci, Xian 710049, Peoples R China
基金
中国国家自然科学基金;
关键词
residuated lattice; boolean filter; implicative filter; positive implicative filter;
D O I
10.1016/j.ins.2007.07.014
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The aim of this paper is to introduce the notions of Boolean filters and positive implicative filters in residuated lattices and to investigate their properties. Several characterizations of Boolean filters and positive implicative filters are derived. The extension theorems of implicative filters and positive implicative filters are obtained. The relations among Boolean filters, implicative filters and positive implicative filters are investigated and it is proved that Boolean filters are equivalent to implicative filters, and that every Boolean filter is a positive implicative filter, but the converse may not be true. Furthermore, the conditions under which a positive implicative filter is a Boolean filter are established. (C) 2007 Elsevier Inc. All rights reserved.
引用
收藏
页码:5725 / 5738
页数:14
相关论文
共 27 条
  • [21] Nola A.D., 2002, MULTIPLE VALUED LOGI, V8, P717
  • [22] Boolean deductive systems of BL-algebras
    Turunen, E
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (06) : 467 - 473
  • [23] Turunen E., 1999, Mathematics Behind Fuzzy Logic
  • [24] WANG GJ, 2002, FUZZY SYSTEMS MATH, V3, P1
  • [25] WANG GJ, 2000, NON CLASSICAL MATH L
  • [26] Residuated lattices
    Ward, Morgan
    Dilworth, R. P.
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1939, 45 (1-3) : 335 - 354
  • [27] XY Y, 1993, J FUZZY MATH, V1, P251