可靠性定理 meaning in Chinese
soundness theorem
Examples
- Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed . the syntax and semantics of lp ( x ) are discussed . the soundness theorem is proved
四、格值逻辑系统的研究建立了基于格蕴涵代数的格值命题逻辑系统l试x ) ，并讨论了它的语法和语义问题，证明了可靠性定理。