A New Representation Theorem of L-subsets

Jinming Fang,Qingling Zhang,Qian Yu
DOI: https://doi.org/10.1016/j.fss.2018.04.002
IF: 4.462
2018-01-01
Fuzzy Sets and Systems
Abstract:In the paper, the implication and tensor operations of strong L-nested systems are found, and further we show that the family of all strong L-nested systems on a universal set forms a complete Girard residuated lattice provided the underlying complete residuated lattice is Girard. Finally, an isomorphism of complete Girard residuated lattices between the family of all strong L-nested systems and the L-power set for any fixed universal set is established, and thus a new representation theorem of L-subsets is obtained.
What problem does this paper attempt to address?