%0 Journal Article %T Generalized H-valuation in Logic System UL
逻辑系统UL的广义H-赋值 %A ZHANG Xiao-Hong %A HE Hua-Can %A
张小红 %A 何华灿 %J 计算机科学 %D 2005 %I %X The properties of Schweizer-Sklar T-norm (assume p<0 in this paper)and its residuated implication are studied. Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability the- orem of UL on generalized H-valuation is proved. %K Logic system UL %K Generalized H-valuation %K Schweizer-Sklar T-norm %K Reliability
逻辑系统UL %K 广义H-赋值 %K Schweizer-Sklar %K T-范数 %K 可靠性 %K 赋值 %K 广义 %K UL %K 逻辑系统 %K 可靠性定理 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0D333DA29CE0A572&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=708DD6B15D2464E8&sid=769BD58726D66E7D&eid=2922B27A3177030F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10