Title :
The residuated lattice properties of MP-Algebras
Author_Institution :
Dept. of Comput. Sci., Beijing Normal Univ., Beijing, China
Abstract :
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 .
Keywords :
algebra; fuzzy logic; lattice theory; BL; IMTL; MP-algebras; MTL; NM; S-implication; WNM; basic fuzzy logic; involutive monoidal t-norm based logic; monoidal t-norm based Logic; nilpotent minimum logic; residuated lattice properties; t-norm operation; weak nilpotent minimum logic; Computer science; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Lattices; MP-algebra; Residuated lattice; implication operation; t-norm operation;
Conference_Titel :
Mechanic Automation and Control Engineering (MACE), 2011 Second International Conference on
Conference_Location :
Hohhot
Print_ISBN :
978-1-4244-9436-1
DOI :
10.1109/MACE.2011.5988034
