研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统. We study the properties and structures of R0 algebras and use these results to prove that each tautotype on R0 interval [0,1] is still a tautology on any R0 algebra, and then based on the specialization of (?) - Lindenbaum algebra The completeness and strong completeness of the system (?) Are proved by the structure, and the application of formal system (?) In fuzzy reasoning is discussed. The results and examples show that the system (?) Is superior to other commonly used fuzzy logic systems.