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
来源：
INFORMATION SCIENCES | 2007年 / 177卷 / 24期
基金：
中国国家自然科学基金;
关键词：
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 条
  • [1] Cancellative residuated lattices
    Bahls, P
    Cole, J
    Galatos, N
    Jipsen, P
    Tsinakis, C
    [J]. ALGEBRA UNIVERSALIS, 2003, 50 (01) : 83 - 106
  • [2] The structure of residuated lattices
    Blount, K
    Tsinakis, C
    [J]. INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (04) : 437 - 461
  • [3] Chang C. C., 1958, Trans. Amer. Math. Soc., V88, P467, DOI DOI 10.1090/S0002-9947-1958-0094302-9
  • [4] DINOLA A, 2002, MULTIPLE VALUED LOGI, V8, P673
  • [5] Monoidal t-norm based logic: towards a logic for left-continuous t-norms
    Esteva, F
    Godo, L
    [J]. FUZZY SETS AND SYSTEMS, 2001, 124 (03) : 271 - 288
  • [6] Pseudo-t-norms and pseudo-BL algebras
    P. Flondor
    G. Georgescu
    A. Iorgulescu
    [J]. Soft Computing, 2001, 5 (5) : 355 - 371
  • [7] Non-commutative fuzzy structures and pairs of weak negations
    Georgescu, G
    Popescu, A
    [J]. FUZZY SETS AND SYSTEMS, 2004, 143 (01) : 129 - 155
  • [8] Some classes of pseudo-BL algebras
    Georgescu, G
    Leustean, L
    [J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2002, 73 : 127 - 153
  • [9] Hájek P, 2003, SOFT COMPUT, V8, P38, DOI [10.1007/s00500-002-0246-y, 10.1007/S00500-002-0246-y]
  • [10] Fuzzy logics with noncommutative conjuctions
    Hájek, P
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 469 - 479
123