Author(s): CHENG Huiru, College of Mathematics and Information Science, Henan Normal University
Pages: 7-9
Year: 2016 Issue:  3
Journal: Journal of Pingyuan University
Keyword:  implication operator; the residuated lattice; BL-algebra;
Abstract: A new implication operator was defined in this paper. It was proved to constitute residuated lattice and the exchangeable residuated lattice. algebra was proved to be a special case of the exchangeable residuated lattice.