Abstract
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 ofR0 algebras are further studied, and it is shown that every tautology on theR0 interval [0,1] is also a tautology on anyR0 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
