On state residuated lattices

被引:36
作者
He, Pengfei [1 ]
Xin, Xiaolong [1 ]
Yang, Yongwei [1 ]
机构
[1] Northwest Univ, Coll Math, Xian 710127, Peoples R China
基金
中国国家自然科学基金;
关键词
Residuated lattice; State operator; State filter; Frame; Co-annihilator;
D O I
10.1007/s00500-015-1620-x
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In the paper, we introduce the notion of state operators on residuated lattices and investigate some related properties of such operators. Also, we give characterizations of Rl-monoids and Heyting algebras, and discuss relations between state operators and states on residuated lattices. Using state filters on state residuated lattices, we characterize two kinds of state residuated lattices, which are state simple and state local. Moreover, we focus on algebraic structures of the set SF[L] of all state filters on state residuated lattices. We obtain that SF[L] forms a coherent frame and a pseudo-complemented lattice. Then, we introduce the co-annihilator of a nonempty set X with respect to a state filter F and study some properties of them. As applications, we show that if F and G are filters in a residuated lattice, then the co-annihilator of G with respect to F is the relative pseudocomplement of G with respect to F in the lattice F[L] of all filters of residuated lattices.
引用
收藏
页码:2083 / 2094
页数:12
相关论文
共 30 条
[1]  
[Anonymous], 2007, Algebras of Fuzzy Logic
[2]  
Chang C. C., 1958, Trans. Amer. Math. Soc., V88, P467
[3]  
Ciungu L. C., 2008, J APPL FUNCT ANAL, V3, P175
[4]   State BL-algebras [J].
Ciungu, Lavinia Corina ;
Dvurecenskij, Anatolij ;
Hycko, Marek .
SOFT COMPUTING, 2011, 15 (04) :619-634
[5]  
Dvurecenskij A., 2001, STUDIA LOGICA, V68, P301
[6]   State operators on generalizations of fuzzy structures [J].
Dvurecenskij, Anatolij ;
Rachunek, Jiri ;
Salounova, Dana .
FUZZY SETS AND SYSTEMS, 2012, 187 (01) :58-76
[7]  
Flaminio T, 2007, NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS, P201
[8]   MV-algebras with internal states and probabilistic fuzzy logics [J].
Flaminio, Tommaso ;
Montagna, Franco .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (01) :138-152
[9]  
Georgescu G, 2004, SOFT COMPUT, V8, P217, DOI [10.1007/s00500-003-0266-2, 10.1007/S00500-003-0266-2]
[10]  
Gierz G., 2003, Continuous Lattices and Domains