The completeness and applications of the formal system ℒ*
Daowu Pei, Guojun Wang · Science in China Series F Information Sciences · 2002
Since the formal deductive system ℒ* was built up in 1997, in has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system ℒ* is still an open problem. In this paper, the properties and structure ofR 0 algebras are further studied, and it is shown that every tautology on theR 0 interval [0,1] is also a tautology on anyR 0 algebra. Furthermore, based on the particular structure of ℒ*-Lindenbaum algebra, the completeness and strong completeness of the system ℒ* are proved. Some applications of the system ℒ* in fuzzy reasoning are also discussed, and the obtained results and examples show that the system ℒ* is suprior to some other important fuzzy logic systems.