On state residuated lattices
Gespeichert in:
Verfasser / Beitragende:
[Pengfei He, Xiaolong Xin, Yongwei Yang]
Ort, Verlag, Jahr:
2015
Enthalten in:
Soft Computing, 19/8(2015-08-01), 2083-2094
Format:
Artikel (online)
Online Zugang:
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605470243 | ||
| 003 | CHVBK | ||
| 005 | 20210128100326.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150801xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00500-015-1620-x |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00500-015-1620-x | ||
| 245 | 0 | 0 | |a On state residuated lattices |h [Elektronische Daten] |c [Pengfei He, Xiaolong Xin, Yongwei Yang] |
| 520 | 3 | |a 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]$$ S F [ L ] of all state filters on state residuated lattices. We obtain that $$SF[L]$$ S F [ L ] forms a coherent frame and a pseudocomplemented lattice. Then, we introduce the co-annihilator of a nonempty set $$X$$ X with respect to a state filter $$F$$ F and study some properties of them. As applications, we show that if $$F$$ F and $$G$$ G are filters in a residuated lattice, then the co-annihilator of $$G$$ G with respect to $$F$$ F is the relative pseudocomplement of $$G$$ G with respect to $$F$$ F in the lattice $$F[L]$$ F [ L ] of all filters of residuated lattices. | |
| 540 | |a Springer-Verlag Berlin Heidelberg, 2015 | ||
| 690 | 7 | |a Residuated lattice |2 nationallicence | |
| 690 | 7 | |a State operator |2 nationallicence | |
| 690 | 7 | |a State filter |2 nationallicence | |
| 690 | 7 | |a Frame |2 nationallicence | |
| 690 | 7 | |a Co-annihilator |2 nationallicence | |
| 700 | 1 | |a He |D Pengfei |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | |
| 700 | 1 | |a Xin |D Xiaolong |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | |
| 700 | 1 | |a Yang |D Yongwei |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | |
| 773 | 0 | |t Soft Computing |d Springer Berlin Heidelberg |g 19/8(2015-08-01), 2083-2094 |x 1432-7643 |q 19:8<2083 |1 2015 |2 19 |o 500 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00500-015-1620-x |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00500-015-1620-x |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a He |D Pengfei |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Xin |D Xiaolong |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Yang |D Yongwei |u College of Mathematics, Northwest University, 710127, Xi'an, People's Republic of China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Soft Computing |d Springer Berlin Heidelberg |g 19/8(2015-08-01), 2083-2094 |x 1432-7643 |q 19:8<2083 |1 2015 |2 19 |o 500 | ||