Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础,对泛逻辑基本形式系统UL中的H -赋值进行了拓广,引入了广义h -赋值概念,证明了UL在广义h -赋值之下可靠性定理成立。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础,对泛逻辑基本形式系统UL中的H -赋值进行了拓广,引入了广义h -赋值概念,证明了UL在广义h -赋值之下可靠性定理成立。
应用推荐