The residuated lattice properties of MP-Algebras
Jianping Yan · 2011
In this paper, we discuss the properties of the t-norm operation induced by the implication operation of MP-algebra. We prove that an MP-algebra is also a residuated lattice and the R-implication and the S-implication are identity on MP-algebras. In the end, we get another equivalence defination of MP-algebra descripted in the language of t-norm operation.