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.
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
