The implication operation of L-nested systems and its applications

Qing-ling ZHANG,Jin-ming FANG
2017-01-01
Abstract:In this paper,an implication operation of L-nested systems computed by using L-nested systems themselves is obtained,where L is a complete residuated lattice.To clarify the rationality and theoretical value of the implication operation obtained in the paper further,two applications of it are presented.In particular,a complement of L-nested systems in the literature is covered by using the implication operation in the lattice valued context of an negative involution complete residuated lattice.
What problem does this paper attempt to address?