R0-algebra and its application
Zhao Zheng-bo · 2012
It has completed the completeness of the form system L* and introduced first-order fuzzy predicate logic. The structure and properties of R0-algebra are introduced firstly. And then it solves the completeness of the form system L* and gives out first-order fuzzy predicate semantic theory, which provides a more reasonable logical foundation for fuzzy reasoning.